Merge pull request #2951 from martin-frbg/cleanup_make
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 28 Oct 2020 08:37:56 +0000 (09:37 +0100)
committerGitHub <noreply@github.com>
Wed, 28 Oct 2020 08:37:56 +0000 (09:37 +0100)
Minor Makefile cleanup


Trivial merge