Bootlin

 Name                    Last modified      Size  
 slide-header.tex        2018-11-18 10:43  173   
 slide-footer.tex        2018-11-18 10:43   15   
 minted.sty              2018-11-18 10:43  8.2K  
 logo-square.svg         2018-11-18 10:43  2.1M  
 logo-penguins.svg       2018-11-18 10:43  9.7K  
 logo-cc.svg             2018-11-18 10:43  3.8K  
 labs.sty                2019-02-15 07:33  4.6K  
 labs-header.tex         2019-02-15 07:33  263   
 labs-footer.tex         2018-11-18 10:43   15   
 lab-penguins.svg        2018-11-18 10:43  320K  
 header.svg              2018-11-18 10:43  3.5M  
 bootlin-logo.svg        2018-11-18 10:43  8.8K  
 beamerthemeBootlin.sty  2018-11-18 10:43  5.4K  
 android-title.tex       2018-11-18 10:43  149   
 android-labs-vars.tex   2018-11-18 10:43  120   
 agenda.sty              2018-11-18 10:43  2.8K