Remove the timestamp header in source files. This information is
[tatoo.git] / tools /
drwxr-xr-x   ..
-rw-r--r-- 1679 XPathEval.java
-rwxr-xr-x 90 add_onclick.sh
-rwxr-xr-x 436 do_jaxp.sh
-rwxr-xr-x 2411 odeps.sh
-rwxr-xr-x 898 osort.sh
-rw-r--r-- 3443 xml_diff.ml