diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-05-10 19:10:05 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-05-11 16:38:15 +0200 |
| commit | db343436f0e678ef3a97e6f8ac559ffa0507e422 (patch) | |
| tree | 882fd0a0fa2fa41fac62a929a93aba09f5eea4d5 /modules/private/websites/isabelle/aten_app/aten.json | |
| parent | 34c7b88e16d1768b1b9a0cfa6dd21ea5d9b1b308 (diff) | |
| download | Nix-db343436f0e678ef3a97e6f8ac559ffa0507e422.tar.gz Nix-db343436f0e678ef3a97e6f8ac559ffa0507e422.tar.zst Nix-db343436f0e678ef3a97e6f8ac559ffa0507e422.zip | |
Migrate mylibs to niv (work in progress)
Diffstat (limited to 'modules/private/websites/isabelle/aten_app/aten.json')
| -rw-r--r-- | modules/private/websites/isabelle/aten_app/aten.json | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/modules/private/websites/isabelle/aten_app/aten.json b/modules/private/websites/isabelle/aten_app/aten.json deleted file mode 100644 index 10a315a..0000000 --- a/modules/private/websites/isabelle/aten_app/aten.json +++ /dev/null | |||
| @@ -1,14 +0,0 @@ | |||
| 1 | { | ||
| 2 | "tag": "b99537f-master", | ||
| 3 | "meta": { | ||
| 4 | "name": "aten", | ||
| 5 | "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten", | ||
| 6 | "branch": "master" | ||
| 7 | }, | ||
| 8 | "git": { | ||
| 9 | "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten", | ||
| 10 | "rev": "b99537fdad41291afb4f1bb8b2e2aa4081c71fae", | ||
| 11 | "sha256": "15mlyik6zivxwry6zc906bqnivxhby27yr8kj4lg5n68pvb877dn", | ||
| 12 | "fetchSubmodules": true | ||
| 13 | } | ||
| 14 | } | ||