Parcourir la source

Removed unused line

Taddeus Kroes il y a 11 ans
Parent
commit
2a894918eb
1 fichiers modifiés avec 0 ajouts et 1 suppressions
  1. 0 1
      run.sh

+ 0 - 1
run.sh

@@ -1,5 +1,4 @@
 #!/usr/bin/env bash
-pcat () { pygmentize -f terminal256 -O style=native -g $*; }
 set -e
 make -s bf
 ./bf | opt-3.5 -O3 -o prog.bc