diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-09-17 17:22:48 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-09-17 17:22:48 +0200 |
| commit | 982dc1fabf71cc91ef4409848dd1952c7e6f479f (patch) | |
| tree | a9c19f38fafc7c9930c5d7cd30a3e81761a5f9a1 /modules/private/websites/isabelle | |
| parent | 0aa7e23c659590b0960eade3419c0991b0a8b500 (diff) | |
| download | Nix-982dc1fabf71cc91ef4409848dd1952c7e6f479f.tar.gz Nix-982dc1fabf71cc91ef4409848dd1952c7e6f479f.tar.zst Nix-982dc1fabf71cc91ef4409848dd1952c7e6f479f.zip | |
Add Patrick Fodella’s website
Diffstat (limited to 'modules/private/websites/isabelle')
0 files changed, 0 insertions, 0 deletions