Merge pull request #1639 from martin-frbg/dyn_list
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 30 Jun 2018 11:05:30 +0000 (13:05 +0200)
committerGitHub <noreply@github.com>
Sat, 30 Jun 2018 11:05:30 +0000 (13:05 +0200)
Add DYNAMIC_LIST option for user-defined list of dynamic targets


Trivial merge