resync gensymbol with develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 6 Aug 2022 07:29:09 +0000 (09:29 +0200)
committerGitHub <noreply@github.com>
Sat, 6 Aug 2022 07:29:09 +0000 (09:29 +0200)
commitf6a1854ce9c07512d3c73e702590b2e7268c47ec
tree89455d3de79287a48393d2255efd24be8887e927
parentcf61d48470f8b1d6180b0687ac233e7a6406140b
resync gensymbol with develop
exports/gensymbol
exports/gensymbol.pl [new file with mode: 0644]