https://github.com/jdupl/mirrors

Scripts to clone various mirrors for Cedille
https://github.com/jdupl/mirrors

Last synced: about 5 hours ago
JSON representation

Scripts to clone various mirrors for Cedille

• Host: GitHub
• URL: https://github.com/jdupl/mirrors
• Owner: jdupl
• License: gpl-3.0
• Created: 2016-06-01T16:18:09.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-07-11T22:29:51.000Z (over 8 years ago)
• Last Synced: 2024-04-20T06:40:08.865Z (7 months ago)
• Language: HTML
• Size: 295 KB
• Stars: 2
• Watchers: 2
• Forks: 6
• Open Issues: 0

Awesome Lists containing this project