diff options
author | Philip Chimento <philip@endlessm.com> | 2013-10-07 14:49:58 -0700 |
---|---|---|
committer | Philip Chimento <philip@endlessm.com> | 2013-10-07 14:49:58 -0700 |
commit | 94f36c68267417104128884823fbd90768d9e979 (patch) | |
tree | c7498838c76680cceed842e205430f8e03134e3c | |
parent | cce1fed638f7221baa3e359284f17f02b9ca923b (diff) |
Forgot to rename eos.css.in
Pushing directly to dev, because it is holding up the build.
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | docs/reference/webhelper/eos.css (renamed from docs/reference/webhelper/eos.css.in) | 0 |
2 files changed, 0 insertions, 1 deletions
@@ -10,7 +10,6 @@ endless/eosresource-private.h data/eos-wikipedia-domain.gresource wikipedia/config.js tools/eos-run-test -docs/reference/webhelper/eos.css *.py[cod] diff --git a/docs/reference/webhelper/eos.css.in b/docs/reference/webhelper/eos.css index 7307859..7307859 100644 --- a/docs/reference/webhelper/eos.css.in +++ b/docs/reference/webhelper/eos.css |