Makefile
changeset 6 0110bdfbd7d2
parent 0 8b659bd91d0b
child 15 1b8722ea1a42
     1.1 --- a/Makefile	Fri Jan 19 15:12:10 2018 +0100
     1.2 +++ b/Makefile	Thu Oct 04 11:45:32 2018 +0200
     1.3 @@ -1,3 +1,5 @@
     1.4 +# this file is under GNU GPL 3.0, see LICENSE.txt
     1.5 +
     1.6  include Makefile.conf
     1.7  -include local.conf
     1.8