diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-03 15:56:35 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 11:48:06 -0500 |
| commit | 323afa78587cbac774a6f2e47dea5544fb88b686 (patch) | |
| tree | bb13cb4e7ac1c2101ed5b6f6af8c1aaaedc6c471 /checker/validate.mli | |
| parent | 5a641c3f2d46146bb0f6c7d586c2e56b10e0d61e (diff) | |
Don’t try to install gallina(1) (deleted by upstream)
gallina(1) has been removed, so don’t try to install it.
Diffstat (limited to 'checker/validate.mli')
0 files changed, 0 insertions, 0 deletions