w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

sym.pl (124B)

      1 
      2 while(<>) {
      3 	for(split('')) {
      4 		$n = ord($_);
      5 		if ($n & 0x80) {
      6 			printf("\\%.3o", $n);
      7 		} else {
      8 			print $_;
      9 		}
     10 	}
     11 }