Update Makefile
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 16 Dec 2018 17:14:40 +0000 (18:14 +0100)
committerGitHub <noreply@github.com>
Sun, 16 Dec 2018 17:14:40 +0000 (18:14 +0100)
commitc4e23dd016ed2852ebf59a0d744deb55a48e66c2
tree9dd7f1ae076fd6d59ecfa958dfeffe38010c2258
parentcfc4acc221344d53d72550d157c5050ddaa26ed7
Update Makefile
kernel/Makefile