diff options
| author | marudor <marudor@marudor.de> | 2018-05-03 17:33:49 +0200 |
|---|---|---|
| committer | marudor <marudor@marudor.de> | 2018-05-03 17:33:49 +0200 |
| commit | ba4ab7dbc102c43a861654910ba33989021e9c8b (patch) | |
| tree | 47ee466231e8596f986c702fc4b9624b8ca2a3d6 /themes/theme0.less | |
| parent | 757d87946931620cf5fe84ec5f163edd6f3986f8 (diff) | |
add documentation, include old custom font again
Diffstat (limited to 'themes/theme0.less')
| -rw-r--r-- | themes/theme0.less | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/themes/theme0.less b/themes/theme0.less deleted file mode 100644 index 3e94f738..00000000 --- a/themes/theme0.less +++ /dev/null @@ -1 +0,0 @@ -@import "base.less";
\ No newline at end of file |