## @id $Id$ ## ## This file has been added: ## - by bootstrap.sh ## - on Thu, 31 May 2018 15:12:09 +0200 ## 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 $@