upon better thinking this really is a separate matter, take out of git-mirror altogether
[infrastructure.git] / logos / beamerthemeOnelab.sty
2007-07-04 thierrycreation