we don't use ditaa anymore

This commit is contained in:
arvidn 2015-12-20 12:41:22 -05:00
parent b49a207d2a
commit 8f7f7420f2
1 changed files with 0 additions and 1 deletions

View File

@ -36,7 +36,6 @@ addons:
- libboost1.55-tools-dev
- python2.7-dev
- g++-4.8
- ditaa
- python3-docutils
- python3-pygments