diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2021-03-05 00:37:03 +0100 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2021-03-05 00:37:03 +0100 |
| commit | 0c9152bd668e599bf1f3b0f95e48bc07e649ac25 (patch) | |
| tree | 7970cdb60fe7ba614beda1c696d72748dd1d5e20 /modules/private/websites/isabelle | |
| parent | 485354e5289157cea4de521b5ff13aae9f85a02d (diff) | |
| download | Nix-0c9152bd668e599bf1f3b0f95e48bc07e649ac25.tar.gz Nix-0c9152bd668e599bf1f3b0f95e48bc07e649ac25.tar.zst Nix-0c9152bd668e599bf1f3b0f95e48bc07e649ac25.zip | |
Add next-boot recipe to makefile
Diffstat (limited to 'modules/private/websites/isabelle')
0 files changed, 0 insertions, 0 deletions