diff options
| author | defanor <defanor@uberspace.net> | 2019-05-13 21:28:09 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2019-05-13 21:28:09 +0300 |
| commit | 5c06b527215c20b76e64d9c666b251021ad5e5d8 (patch) | |
| tree | b28505511df5bf6e8fc310b1caf4fc3ee4c97449 /tools/publish.sh | |
| parent | ed8e9f1be3b4e77b22e7d1af185228e591acfc9e (diff) | |
Remove alternate stylesheets
Likely they are not used, but add lags (in FF, at least). Perhaps the
default stylesheet should be removed as well.
Diffstat (limited to 'tools/publish.sh')
0 files changed, 0 insertions, 0 deletions