mavrothal efc1d8657e remove .gitignore files not removed by 99b66de00ce8956ffa2d4c261d4474181e9724be vor 11 Jahren
..
etc 07a44aa52f Initial commit from Nov 11, 2013, woof2 fossil repo vor 11 Jahren
usr efc1d8657e remove .gitignore files not removed by 99b66de00ce8956ffa2d4c261d4474181e9724be vor 11 Jahren
FIXUPHACK 07a44aa52f Initial commit from Nov 11, 2013, woof2 fossil repo vor 11 Jahren