Makefile
changeset 1513 e7f7e42385b5
parent 878 9ab0833d2c8b
child 1919 335cdc692960
     1.1 --- a/Makefile	Wed Dec 21 16:55:10 2016 +0100
     1.2 +++ b/Makefile	Tue Dec 27 21:13:41 2016 +0100
     1.3 @@ -1,3 +1,6 @@
     1.4 +# this file is under GNU General Public License v3.0
     1.5 +# see LICENSE.txt
     1.6 +
     1.7  include Makefile.conf
     1.8  
     1.9  # add it to the environment of all executed programs: