summaryrefslogtreecommitdiff
path: root/pages/nav.swig
diff options
context:
space:
mode:
authorEliot Whalan <ewhal@pantsu.cat>2016-01-21 02:41:17 +0100
committerJuuso Lapinlampi <wub@partyvan.eu>2016-01-21 13:53:55 +0100
commitd17c8830a8cb97fb48201990f5d57eb7a7b9e4ee (patch)
treedd147450d88c821bc8069d9ce5694478770ca22e /pages/nav.swig
parent3660f23ed16dac39f51c561b6bc80d0bd8ccd902 (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 'pages/nav.swig')
0 files changed, 0 insertions, 0 deletions