]> matita.cs.unibo.it Git - helm.git/commit
nuprl_content_to_html.xsl is not used. Let's definitely remove it.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2003 15:16:45 +0000 (15:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2003 15:16:45 +0000 (15:16 +0000)
commit76ef6920890304b5c840d9869952f52c0263be73
tree65b7b80e63271adf71c0a7a234affc2cb40146a8
parent734a6fc5d8da4896c646d1dd7a17afaf0dd33224
nuprl_content_to_html.xsl is not used. Let's definitely remove it.
helm/nuprl_stylesheets/nuprl_content_to_html.xsl [deleted file]
helm/nuprl_stylesheets/xslt_index.txt