diff options
| author | Eliot Whalan <ewhal@pantsu.cat> | 2016-01-21 02:41:17 +0100 |
|---|---|---|
| committer | Juuso Lapinlampi <wub@partyvan.eu> | 2016-01-21 13:53:55 +0100 |
| commit | d17c8830a8cb97fb48201990f5d57eb7a7b9e4ee (patch) | |
| tree | dd147450d88c821bc8069d9ce5694478770ca22e /static | |
| parent | 3660f23ed16dac39f51c561b6bc80d0bd8ccd902 (diff) | |
Remove unused page specific CSS (old, ded)
The tools page has only had alive and maintained tools on it since Pomf
2.0.0. Ded and old tools have been removed in commit
627937d0fa632a677f278af467886915c0a36f35.
It is anticipated that these style rules will be never used again. If we
did, we can add them back later: "you aren't gonna need it" (YAGNI). If
it's dead, you should probably remove the tool from the tools page
instead of beating a dead horse.
[wub@partyvan.eu: Modified Git commit message, as discussed]
Signed-off-by: Juuso Lapinlampi <wub@partyvan.eu>
Diffstat (limited to 'static')
0 files changed, 0 insertions, 0 deletions