]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c4f15d) | patch
added pretty printing of generated xml files via xmllint --format
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 12:54:42 +0000 (12:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 12:54:42 +0000 (12:54 +0000)
commit28d4ff155faedd20b4787c13a7cbda2acf4089a6
tree47aa04113e357cfb930114d73c6126e99e955032tree | snapshot
parent9c4f15d74f5de01494a587322edc66b85f6d2f4ecommit | diff
added pretty printing of generated xml files via xmllint --format
matita/help/C/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.