]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab3dd97) | patch
bugfix: removed EXTRA_DIST useless line
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:21:11 +0000 (11:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:21:11 +0000 (11:21 +0000)
commitea95066e62c066c1b7e1605e03327faa82dbb1fb
treec485fd885571ca671e0ec1d3d5745aa9a0143a36tree | snapshot
parentab3dd97dbb47ae09a5e90d6d38d3775be7c7ecaecommit | diff
bugfix: removed EXTRA_DIST useless line
helm/DEVEL/gdome_xslt/C++/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.