]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbbd558) | patch
* removed debian dir from EXTRA_DIST var
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 10:00:02 +0000 (10:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 10:00:02 +0000 (10:00 +0000)
commitcfa6144c9a6c2472d0d0aedf3403c29c635c316d
treeb444fe2ca002a71868582e6d8e0686435f610c81tree | snapshot
parentcbbd558e6b6053cf643973973515c29c8c6bdb6ecommit | diff
* removed debian dir from EXTRA_DIST var
helm/DEVEL/mathml_editor/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.