diff options
Diffstat (limited to 'ci')
-rw-r--r-- | ci/manifest-sources-8.11 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/manifest-sources-8.11 b/ci/manifest-sources-8.11 index b93f959..043c626 100644 --- a/ci/manifest-sources-8.11 +++ b/ci/manifest-sources-8.11 @@ -27,7 +27,6 @@ tasks: cd smtcoq git checkout coq-8.11 cd src - ./configure.sh make make install cd ../.. |