From db343436f0e678ef3a97e6f8ac559ffa0507e422 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= Date: Sun, 10 May 2020 19:10:05 +0200 Subject: Migrate mylibs to niv (work in progress) --- modules/private/websites/isabelle/aten_app/aten.json | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 modules/private/websites/isabelle/aten_app/aten.json (limited to 'modules/private/websites/isabelle/aten_app/aten.json') 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 @@ -{ - "tag": "b99537f-master", - "meta": { - "name": "aten", - "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten", - "branch": "master" - }, - "git": { - "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten", - "rev": "b99537fdad41291afb4f1bb8b2e2aa4081c71fae", - "sha256": "15mlyik6zivxwry6zc906bqnivxhby27yr8kj4lg5n68pvb877dn", - "fetchSubmodules": true - } -} -- cgit v1.2.3