kylefang/asdf-plugins
1
0
Fork 0
mirror of https://github.com/placeholder-soft/asdf-plugins.git synced 2026-01-12 17:02:53 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
asdf-plugins/plugins/idris
Leo Shklovskii 2b3083e440 fix: correct location for several plugins (#640)
2022-08-13 19:03:28 +10:00

2 lines
62 B
Plaintext
Raw Permalink Blame History

repository = https://github.com/asdf-community/asdf-idris.git
Reference in New Issue View Git Blame Copy Permalink