diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-04-20 01:58:14 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-04-20 02:17:17 +0200 |
| commit | e94cd212b4a43296d44876b3c5f7113e9f5b9727 (patch) | |
| tree | 292bfe25517e1993368f10aa5d14071d8d6fdf7d /modules/private/websites/isabelle | |
| parent | d3452fc59b9839846225fd254926c64a9c71f071 (diff) | |
| download | Nix-e94cd212b4a43296d44876b3c5f7113e9f5b9727.tar.gz Nix-e94cd212b4a43296d44876b3c5f7113e9f5b9727.tar.zst Nix-e94cd212b4a43296d44876b3c5f7113e9f5b9727.zip | |
Remove useless scripts after migration to home-manager
Diffstat (limited to 'modules/private/websites/isabelle')
0 files changed, 0 insertions, 0 deletions