Tim Rühsen d4ea513f27 Add --use-latest-psl to tools/psl, now default ... Fixes #76		2016-12-15 12:51:35 +01:00
..
Makefile.am	Package and install psl.1 and psl-make-dafsa.1	2016-09-17 14:46:00 +02:00
psl.1	Add --use-latest-psl to tools/psl, now default	2016-12-15 12:51:35 +01:00
psl.c	Add --use-latest-psl to tools/psl, now default	2016-12-15 12:51:35 +01:00