]> matita.cs.unibo.it Git - helm.git/commit
Modified some wrong paths
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Thu, 24 Oct 2002 14:23:17 +0000 (14:23 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Thu, 24 Oct 2002 14:23:17 +0000 (14:23 +0000)
commit07f2cc40aad65d88682bc08f1734e574df9696ea
tree50bbf2095036c2c1dbb99c5a457f10bebe59e9cd
parent87d923b6652b1e13998532d736bbc8fe31c273a9
Modified some wrong paths
helm/style/ring.xsl