README
changeset 228 e1e3e259e9b7
parent 203 e0420c7b8a19
child 229 cfcaf4a5e5b4
--- a/README	Fri Nov 30 14:13:11 2018 +0000
+++ b/README	Sat Dec 01 15:09:37 2018 +0000
@@ -1,5 +1,6 @@
 scalac -Ydelambdafy:inline -d docdiff.jar docdiff.scala
 
+gerp -h     // gerp without filename
 
 
 given two lists, is one a sublist of the other except one