]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 931f10c) | patch
styles directory creation now works even if stylesheets and meta_stylesheets
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 20 Jun 2003 17:57:50 +0000 (17:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 20 Jun 2003 17:57:50 +0000 (17:57 +0000)
commitc09f4214434a9afcb780ba83eb42ea04550baae7
treeac5a64bcd7103ea2fe65a4131e67137fd728201ctree | snapshot
parent931f10c61b4e3914474955a94a05cf43b5fa2bc0commit | diff
styles directory creation now works even if stylesheets and meta_stylesheets
are symbolic links (as in my case)
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.