diff options
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 | } | ||