Pierre-Francois Loos bcde8b396e badge mini slides		2023-04-01 09:36:40 +02:00
..
background.png	badge mini slides	2023-04-01 09:36:40 +02:00
badge.tex	badge mini slides	2023-04-01 09:36:40 +02:00