diff options
| author |   Willy Sudiarto Raharjo | 2019-04-26 23:42:40 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo | 2019-04-26 23:42:40 +0200 |
| commit | 72c1e1abd137fcfa8786d1aecad562bd0badb755 (patch) | |
| tree | 7ce2debdbe2dabf4f464e37887b8c3ea377d90ea /graphics | |
| parent | c43fcc78af1a9ab41a2fc972b19fd425a94b921f (diff) | |
| download | slackbuilds-72c1e1abd137fcfa8786d1aecad562bd0badb755.tar.gz | |
academic/cvc4: Add missing run-antlr.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'graphics')
0 files changed, 0 insertions, 0 deletions