jnqnfe 1efc6d5adf remove redundant file ... 18e0a2f325 "rebranded live sources" which included renaming `source_debian-live` to `source_live` but accidentally left the old file in place. (Closes #952834)		2020-03-01 08:37:22 +00:00
..
build	remove redundant file	2020-03-01 08:37:22 +00:00
build.sh	Updating year in copyright notices to 2015.	2015-01-04 20:05:44 +01:00