From: Jeremy Laine <jeremy.laine@m4x.org>
Date: Thu, 20 Jul 2006 22:27:36 +0000 (+0000)
Subject: * refactor global options handling in toplevel/options
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;ds=sidebyside;h=aa2b3c612a87840b35e26fa1cb36896dbeebc313;hp=aa2b3c612a87840b35e26fa1cb36896dbeebc313;p=diogenes.git

* refactor global options handling in toplevel/options
* add global option to set the default stylesheet for new barrels
* add style.css from doc.polytechnique.org
---