2015-07-13 11:27:14 +00:00
|
|
|
## @id $Id$
|
2017-03-17 18:31:09 +00:00
|
|
|
##
|
|
|
|
|
## This file has been added:
|
|
|
|
|
## - by bootstrap.sh
|
2017-05-17 11:07:48 +00:00
|
|
|
## - on Thu, 04 May 2017 14:23:09 +0200
|
2017-03-17 18:31:09 +00:00
|
|
|
## Feel free to change it or even remove and rebuild it, up to your needs
|
|
|
|
|
##
|
2015-07-13 11:27:14 +00:00
|
|
|
## 1 2 3 4 5 6 7 8
|
|
|
|
|
## 45678901234567890123456789012345678901234567890123456789012345678901234567890
|
2010-04-15 12:48:19 +00:00
|
|
|
|
2015-02-19 08:45:38 +00:00
|
|
|
%:
|
|
|
|
|
dh $@
|
