Wilfried Goesgens 77dbfd05cd Merge pull request #1613 from kibarda/devel ... documentation: minor updates		2015-12-16 09:40:17 +01:00
..
Users	Merge pull request #1613 from kibarda/devel	2015-12-16 09:40:17 +01:00
.gitignore	…
Makefile	we have filenames with numbers in them, fix the match regexp.	2015-12-14 13:17:00 +01:00
SummaryBlacklist.txt	there is a new module in town to be ignored from the index scan.	2015-08-04 13:43:05 +02:00