source: main/waeup.fceokene @ 17392

Name Size Rev Age Author Last change
../
branches 11364   11 years uli Also ignore sources/.
tags 11509   11 years Henrik Bettermann Tag release.
trunk 17392   19 months Henrik Bettermann Do not just update SCHOOLS_TPU. We have to make a deep copy first.
Note: See TracBrowser for help on using the repository browser.