db/Makefile
changeset 1513 e7f7e42385b5
parent 944 e97cf5e73b64
child 1952 4722b371f609
child 1988 ea7bceda4dc8
     1.1 --- a/db/Makefile	Wed Dec 21 16:55:10 2016 +0100
     1.2 +++ b/db/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 3.0
     1.5 +# see LICENSE.txt
     1.6 +
     1.7  include ../Makefile.conf
     1.8  
     1.9  db: system.db