]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8adcc68) | patch
Matitaweb: commit test.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 3 Oct 2011 13:46:16 +0000 (13:46 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 3 Oct 2011 13:46:16 +0000 (13:46 +0000)
commit26fb70c6e4117d332477d8c192328a9d4a57e23e
treed512ed5fe9dd62e319de2a95e11af4a49b7429a2tree | snapshot
parent8adcc68861bcd71f5c2ec3df437e5d492902a061commit | diff
Matitaweb: commit test.
weblib/basics/prova.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.