|
files
|
editors/mined: upgrade to 2022.27
|
2022-12-25 14:49:52 +01:00 |
|
distinfo
|
editors/mined: upgrade to 2022.27
|
2022-12-25 14:49:52 +01:00 |
|
Makefile
|
editors/mined: chase UCD’s upgrade
|
2023-09-16 17:01:27 +02:00 |
|
pkg-descr
|
editors/mined: update to 2022.26
|
2022-11-29 19:57:51 +01:00 |
|
pkg-plist
|
editors/mined: update to 2022.26
|
2022-11-29 19:57:51 +01:00 |
