]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e91d2d1) | patch
Matitaweb: Fixed netplex.conf (which was changed by mistake in the previous commit).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 12 Oct 2011 14:13:27 +0000 (14:13 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 12 Oct 2011 14:13:27 +0000 (14:13 +0000)
commit6b71759b5897c5ba4e76d93561e52ee555f269bf
tree63514f093b92dc3d280b72f7ae4cd9ba062e597ftree | snapshot
parente91d2d1a3c89c67605b393657697a9cc8f02956ecommit | diff
Matitaweb: Fixed netplex.conf (which was changed by mistake in the previous commit).
matitaB/matita/netplex.conf diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.