]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c64ca03) | patch
Fix in matitaweb.css.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:59:43 +0000 (12:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:59:43 +0000 (12:59 +0000)
commit6a1dae0ddf5b72b2527226ef23990953de46b5d8
tree94963a78e182714dc0bbc6f495e180fdf5bb3fb6tree | snapshot
parentc64ca037e5e1e70d821d390c6297f32e847a1d90commit | diff
Fix in matitaweb.css.
matitaB/matita/matitaweb.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.