]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40aaf8d) | patch
CIC files are now processed one by one once given the list of their
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Jun 2001 11:48:48 +0000 (11:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Jun 2001 11:48:48 +0000 (11:48 +0000)
commitb1736dfd44d664c3f43abb8f7bc554744c073d82
tree5d19db1def29e39a4a795ad086a68fbfe4c3fa86tree | snapshot
parent40aaf8dcb5f4251186d6b4380ded7cf50ffd5345commit | diff
CIC files are now processed one by one once given the list of their
URIs (that will be soon provided by a new getter method)
helm/metadata/create/Makefile diff | blob | history
helm/metadata/create/mywget.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.