Remove diagram sources

This commit is contained in:
Philipp Oppermann
2016-09-21 15:47:06 +02:00
parent e9128e8c54
commit fce2da691d

View File

@@ -27,6 +27,7 @@ git config user.email "travis-update-bot@phil-opp.com"
rm -r *
cp -r ../public/. .
rm -r post post.html page page.html additional-resource additional-resource.html # remove per-category pages/feeds
rm -r diagrams # remove diagram sources
# commit
git add --all .