Icon  Name                                             Last modified      Size  
[DIR] common/                                          2018-08-08 15:50    -   
[IMG] family_penguin.jpg                               2016-04-18 08:54  206K  
[TXT] minted.sty                                       2016-04-18 08:54  8.2K  
[IMG] parent_penguin.jpg                               2016-04-18 08:54  145K  
[IMG] penguins_group.jpg                               2016-04-18 08:54   91K  
[IMG] stuffed_penguin.jpg                              2016-04-18 08:54   78K  
[   ] submission-process.dia                           2016-04-18 08:54  2.2K  
[   ] timeline-submission.dia                          2016-04-18 08:54   41K  
[TXT] beamerthemeBootlin.sty                           2018-08-08 15:50  5.8K  
[   ] Makefile                                         2018-08-13 11:32  452   
[TXT] clement-kernel-maintainership-oral-tradition.tex 2018-08-13 11:32   15K