aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2020-10-11 16:15:55 -0400
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2020-10-17 09:36:45 +0700
commite8fc9fdabb05a9ef7e8af08b32c1dba88be610cd (patch)
tree19f662287116cf39a59f0647f21bb66b1bfac712 /academic/eprover
parentbe87adf79f92919535ecb12fbf098256b3b98535 (diff)
academic/flann: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/eprover')
0 files changed, 0 insertions, 0 deletions