diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-12 21:12:14 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:39:09 +0700 |
| commit | f331900ede34143bbe942fa6216ceac1bca0715a (patch) | |
| tree | 572e9259fe127c47944c138d6321b5915c3b342b /academic/cvc4 | |
| parent | 35e3e8af89b66f49f044458711f345ce340c98d7 (diff) | |
| download | slackbuilds-f331900ede34143bbe942fa6216ceac1bca0715a.tar.gz | |
development/gnome-inform7: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4')
0 files changed, 0 insertions, 0 deletions