diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 22:37:44 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:10 +0700 |
commit | a50076c98145a8c1d152afcc1675fafed5cb85a5 (patch) | |
tree | 06d313513d50879801586c49bed2579b57705570 /graphics/LDraw_data | |
parent | 33064fb6bf044cd2992d0aaee95a3698a2bcff4b (diff) | |
download | slackbuilds-a50076c98145a8c1d152afcc1675fafed5cb85a5.tar.gz |
academic/coq: Removed (ftb).
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'graphics/LDraw_data')
0 files changed, 0 insertions, 0 deletions