Jason Lenny d20d93fec3 Allow for workspace location to be provided by the end user ... This will give more flexibility to anyone who doesn't happen to keep their files in /tmp/lint.		2020-06-19 11:47:45 +02:00
..
linter.sh	Allow for workspace location to be provided by the end user	2020-06-19 11:47:45 +02:00
possum.sh	better	2020-05-07 07:30:12 -05:00