nettoyer les commentaires
authorHuibo SHI <shihuibo19@gmail.com>
Tue, 18 Mar 2014 17:48:29 +0000 (18:48 +0100)
committerHuibo SHI <shihuibo19@gmail.com>
Tue, 18 Mar 2014 17:48:29 +0000 (18:48 +0100)
commit72880536f01e8260441efda43430f893e8e4595b
treea65072f81bf8b965a8b5c0c56c0e63d532443ef6
parentcfaff4165f266dc2273989c9a62f3fd31c1f57ec
nettoyer les commentaires
src/query_tree.ml
src/table.ml
src/table_driver.ml
tests/huibo_test.sh [new file with mode: 0755]
tests/tiny2.xml [new file with mode: 0644]
tools/unix.c [new file with mode: 0644]
tools/xmarkgen [new file with mode: 0755]