Laurence Withers d536de1e78 Allow user to override paths		2007-09-17 09:51:49 +00:00
..
.gitignore	Add a module that wraps a Makefile into a module.	2007-08-14 21:16:29 +00:00
functions.sh	Use '#!/bin/sh' as executable interpreter. This is bad, because we do actually want bash, but if	2007-03-29 09:36:35 +00:00
paths	Allow user to override paths	2007-09-17 09:51:49 +00:00