|
css
|
Base version of home page
|
2019-10-10 17:38:22 +02:00 |
|
doc
|
Reorganize publications, add oracle18 talk
|
2019-10-10 19:15:35 +02:00 |
|
fonts
|
Hugo: bootstrap from cs.tobast.fr
|
2019-10-10 17:38:22 +02:00 |
|
img
|
Rescale & reduce quality of me{,_face}.jpg
|
2019-10-10 17:40:17 +02:00 |
