Andreas Abel
ba24aa5d51
Re #5773: workflows/deploy/windows: install ICU via pacman
|
2 年之前 | |
|---|---|---|
| .. | ||
| workflows | 2 年之前 | |
| check_agda.sh | 3 年之前 | |
| install_agda_user.bat | 5 年之前 | |
| install_emacs_mode.bat | 5 年之前 | |
| install_emacs_mode.sh | 5 年之前 | |
|
Andreas Abel
ba24aa5d51
Re #5773: workflows/deploy/windows: install ICU via pacman
|
2 年之前 | |
|---|---|---|
| .. | ||
| workflows | 2 年之前 | |
| check_agda.sh | 3 年之前 | |
| install_agda_user.bat | 5 年之前 | |
| install_emacs_mode.bat | 5 年之前 | |
| install_emacs_mode.sh | 5 年之前 | |