remove unnecessary files for release

potassco · Oct 14, 2016 · 3dfe31b · 3dfe31b
1 parent 472ada9
commit 3dfe31b
Show file tree

Hide file tree

Showing 36 changed files with 0 additions and 7,669 deletions.
diff --git a/Doxyfile b/Doxyfile
diff --git a/DoxygenLayout.xml b/DoxygenLayout.xml
diff --git a/README.md b/README.md
@@ -26,6 +26,3 @@ Please consult the following resources for further information:
 For more information please visit the project website:
 
   http://potassco.org
-
-[![Build Status master](https://badges.herokuapp.com/travis/potassco/clingo?branch=master&label=master)](https://travis-ci.org/potassco/clingo?branch=master)
-[![Build Status wip](https://badges.herokuapp.com/travis/potassco/clingo?branch=wip&label=wip)](https://travis-ci.org/potassco/clingo?branch=wip)
diff --git a/TODO b/TODO
diff --git a/clingo.css b/clingo.css