matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: fa8d47a) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 21 Sep 2005 14:39:30 +0000 (14:39 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 21 Sep 2005 14:39:30 +0000 (14:39 +0000)
commit	71adb7c2f7f84e6bfe523cf066a65cc14cc9217b
tree	722104d2012d5ef453cef8bd59fd956a59042f9e	tree \| snapshot
parent	fa8d47ad95242f20e1c106f36e2dc83001b18b43	commit \| diff

added ligatures support

Unnamed repository; edit this file 'description' to name the repository.