diff options
Diffstat (limited to '')
| -rwxr-xr-x | trunk/infrastructure/ace/bin/make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/trunk/infrastructure/ace/bin/make b/trunk/infrastructure/ace/bin/make index 2237df0..dad11ff 100755 --- a/trunk/infrastructure/ace/bin/make +++ b/trunk/infrastructure/ace/bin/make @@ -7,6 +7,7 @@ import java.io._; def superpack(input: String): String = { // this function is self-contained; takes a string, returns an expression // that evaluates to that string + // XXX (This compresses well but decompression is too slow) // constraints on special chars: // - this string must be able to go in a character class |