Daniel Berteaud 3463055a23 Stop removing rights.ser file, as permissions are now handled in role.ser		2013-10-15 15:29:32 +02:00
..
etc	Stop removing rights.ser file, as permissions are now handled in role.ser	2013-10-15 15:29:32 +02:00
usr/bin	First try to index PDF with pdftotext, and fallback to gs if pdftotext cannot extract any usefull information	2013-10-07 08:46:39 +02:00