diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 16:11:22 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 16:11:22 +0200 |
commit | f1e833a542aadc3ab133bb362ed3de0156ae9aa3 (patch) | |
tree | 9f3f5a8f1a841b9e6ea8b9eec134a17567a0401c | |
parent | c349dbe51f9f7b6a1c1c962b1803b7c7e695eded (diff) |
Remove debug traces
-rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 74b54a81..b9f0376e 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -76,8 +76,6 @@ jobs: grep warning dox.log; cp dox.log version/doc/html/; cp -R version/doc/html /tmp/doxygen; - which bibtex > /tmp/doxygen/bitex.txt; - which perl > /tmp/doxygen/perl.txt; - store_artifacts: path: /tmp/doxygen |