Thierry Thomas 07e00f7c09 editors/mined: update WWW to the new mined home page ... Note: ATM MASTERSITES is still correct.		2022-12-28 14:34:33 +01:00
..
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: update WWW to the new mined home page	2022-12-28 14:34:33 +01:00
pkg-descr
pkg-plist