summaryrefslogtreecommitdiff
path: root/parser-info
diff options
context:
space:
mode:
authorChristian Clason <c.clason@uni-graz.at>2022-08-21 13:15:13 +0200
committerChristian Clason <christian.clason@uni-due.de>2022-08-23 00:52:35 +0200
commita2ee5610ae5986797809358c9ace840eca6fd030 (patch)
tree95822c243630d1180977a1387db810b3e29ca5ac /parser-info
parentfb6d60c7b976ecdc23de36826cb170bb340940ff (diff)
ci: add workflow_dispatch
Diffstat (limited to 'parser-info')
0 files changed, 0 insertions, 0 deletions