The source code of my professional website.
Find a file
2020-09-22 15:53:22 +02:00
content Update the logos and their alignment. 2020-09-22 13:24:58 +02:00
en Add the fr/publications.org and en/publications.org. 2020-09-22 14:50:18 +02:00
fr Update the sections on publications on the front page. 2020-09-22 14:50:45 +02:00
deploy-seafile deploy-seafile: Fix bugs. 2018-12-18 15:18:14 +01:00
deploy-uftp deploy -> deploy-uftp 2018-12-18 14:50:35 +01:00
index.org Update the sections on publications on the front page. 2020-09-22 14:50:45 +02:00
publist.org publist.org: Add the rest of my publications. 2020-09-22 15:30:54 +02:00
Readme.md README: Don't say the site is not online. 2020-04-04 12:34:29 +02:00
shell-seafile.nix Describe and hack around the Seafile problem. 2020-02-17 15:20:29 +01:00
shell-uftp.nix shell.nix -> shell-uftp.nix 2018-12-18 15:19:59 +01:00
work-notes.org Describe and hack around the Seafile problem. 2020-02-17 15:20:29 +01:00
work.el work.el: Explicitly export only index.org from the root directory. 2020-09-22 15:53:22 +02:00

work-site

This is the source of my professional website.

These source files are distributed under the Creative Commons Attribution Alone licence.