Ulf Norell
f151b617ef
[ build ] use proper path to agda mode
|
6 gadi atpakaļ | |
|---|---|---|
| .. | ||
| paths.mk | 6 gadi atpakaļ | |
| versions.mk | 8 gadi atpakaļ | |
|
Ulf Norell
f151b617ef
[ build ] use proper path to agda mode
|
6 gadi atpakaļ | |
|---|---|---|
| .. | ||
| paths.mk | 6 gadi atpakaļ | |
| versions.mk | 8 gadi atpakaļ | |