comparison develop_server.sh @ 42:51d2ddc51e40

update the theme with the latest changes from upstream
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 30 Sep 2014 03:53:59 +0200
parents 4cd9b65e10e4
children
comparison
equal deleted inserted replaced
41:47fa61e1845e 42:51d2ddc51e40