push a2dedc0e2782082f7801ed0661df0165e7d9ffec
commit845f5ce91cb1662bdb68bb7b9092c644075f1ab7
authorYann Dirson <ydirson@altern.org>
Sat, 15 Mar 2008 15:18:30 +0000 (15 16:18 +0100)
committerYann Dirson <ydirson@altern.org>
Sat, 15 Mar 2008 15:18:30 +0000 (15 16:18 +0100)
treec571522f988e5ce9a9e7a5c2fa111ea1556a5d95
parent4efeb072d882b4b9582493153c8221dadfc198c4
push a2dedc0e2782082f7801ed0661df0165e7d9ffec
src/settings.h