Add option USE_LOCKING but keep default settings intact
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 15 May 2019 21:36:17 +0000 (23:36 +0200)
committerGitHub <noreply@github.com>
Wed, 15 May 2019 21:36:17 +0000 (23:36 +0200)
commit5ecffc28f2c32a23222ab633c904c9886923ecf1
tree6665230a5f9d5c2904d89932ae2d7ee9a04ced63
parent86dda5c2fa9e298deacdd17211e2c4e58f2688ea
Add option USE_LOCKING but keep default settings intact
Makefile.rule