source: main/waeup.sirp @ 6980

Name Size Rev Age Author Last change
../
trunk 6980   13 years Henrik Bettermann We have to create a real (deep) list copy of self.keys() when deleting …
tags 4953   15 years uli Remove dev-marker.
branches 6780   13 years uli Save unique index to branch. Could be useful some day.
Note: See TracBrowser for help on using the repository browser.