]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1dd041) | patch
* removed .in files
authorLuca Padovani <luca.padovani@unito.it>
Thu, 13 Mar 2003 14:33:57 +0000 (14:33 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 13 Mar 2003 14:33:57 +0000 (14:33 +0000)
commit1c88d7da901c53b47c8a320e639c797665e737a8
treef7b7df6ab75687180d0c97521e8012d68792a45ctree | snapshot
parentb1dd041514ce619c192f194a7a0847c28de55946commit | diff
* removed .in files
helm/DEVEL/mathml_editor/Makefile.in [deleted file] blob | history
helm/DEVEL/mathml_editor/src/Makefile.in [deleted file] blob | history
helm/DEVEL/mathml_editor/test/Makefile.in [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.