## @id $Id$ ## ## This file has been added: ## - by bootstrap.sh ## - on Wed, 11 November 2015 12:59:08 +0100 ## Feel free to change it or even remove and rebuild it, up to your needs ## ## 1 2 3 4 5 6 7 8 ## 45678901234567890123456789012345678901234567890123456789012345678901234567890 %: dh $@