Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd
Branches Tags
agda
/
.github
Andreas Abel ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman vor 2 Jahren
..
workflows ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman vor 2 Jahren
check_agda.sh a31ddccbbd [ workflow ] Tweak the nightly build workflow vor 3 Jahren
install_agda_user.bat 09c5c3891c [ #4244 ] Separated Emacs & Agda installation vor 5 Jahren
install_emacs_mode.bat 09c5c3891c [ #4244 ] Separated Emacs & Agda installation vor 5 Jahren
install_emacs_mode.sh 09c5c3891c [ #4244 ] Separated Emacs & Agda installation vor 5 Jahren