Daniel Baumann 7bb740ca08 Using cat instead of echo to workaround incompatible and conflicting uses in escaping of \t in dash and bash, and less importantly to workaround a false-positive in checkbashisms.		2013-01-04 19:14:21 +01:00
..
build	Using cat instead of echo to workaround incompatible and conflicting uses in escaping of \t in dash and bash, and less importantly to workaround a false-positive in checkbashisms.	2013-01-04 19:14:21 +01:00
build.sh	Updating year in all copyright notices.	2013-01-01 00:12:04 +01:00