]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eca41de) | patch
- Bug fixed: removed URIs were not removed from the dependencies DB.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Jun 2009 10:23:59 +0000 (10:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Jun 2009 10:23:59 +0000 (10:23 +0000)
commitcf60cad5ad896f358d6e8dd2ded1c0430ba2c55c
treee90e5153a5f40582371eb598e1bcdf6f96753939tree | snapshot
parenteca41debc2129203d28af2a29a00cd69b4bee6e0commit | diff
- Bug fixed: removed URIs were not removed from the dependencies DB.
- The assert failure has been removed since in some situations (????) an
  empty dir (no new objects) was not created and thus it was normal that it
  was not removed. TO BE BETTER UNDERSTOOD
helm/software/components/ng_kernel/nCicLibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.