diff options
| author | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-08 18:35:52 +0100 |
|---|---|---|
| committer | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-11 00:20:58 +0100 |
| commit | a8656f2c7bd5bd67f12499782b184b49246bb0e6 (patch) | |
| tree | a9b6468a05e6a2aa70a631a17e98e5a0c7c78a45 /open-source-lorries-disabled/micheles.lorry | |
| parent | f1aee9a50ef87744cd75849dcb412e69099de84c (diff) | |
| download | lorries-a8656f2c7bd5bd67f12499782b184b49246bb0e6.tar.gz | |
Disable various obsolete mirrorsbwh/disable-obsolete
All of these have changed version control system or otherwise become
obsolete. Their descriptions have already been set to mark them as
such.
Diffstat (limited to 'open-source-lorries-disabled/micheles.lorry')
| -rw-r--r-- | open-source-lorries-disabled/micheles.lorry | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/open-source-lorries-disabled/micheles.lorry b/open-source-lorries-disabled/micheles.lorry new file mode 100644 index 0000000..7a44bcb --- /dev/null +++ b/open-source-lorries-disabled/micheles.lorry @@ -0,0 +1,7 @@ +{ + "micheles": { + "type": "hg", + "url": "https://code.google.com/p/micheles/", + "description": "Obsolete (use python-packages/python-decorator-git)" + } +} |