Modified the add-comment script.
authorSimon Castellan <simon.castellan@iuwt.fr>
Wed, 28 Jul 2010 11:48:58 +0000 (13:48 +0200)
committerSimon Castellan <simon.castellan@iuwt.fr>
Wed, 28 Jul 2010 11:48:58 +0000 (13:48 +0200)
commitbdaff1dd8b15e27846d7ce208cdb2e17c2760ea0
treea95fbf89cb263d34aecd8abab6f32630c00d160c
parent0cf518de8976ba42c8a995695e82348de6a430d9
Modified the add-comment script.
Makefile
add-comment
main.ml