Daniel Baumann 46dc41a701 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-05-06 14:50:04 +02: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-05-06 14:50:04 +02:00
build.sh	Updating year in all copyright notices.	2013-05-06 14:50:03 +02:00