From: Guenter M. <mi...@us...> - 2022-01-06 14:38:39
|
The plan here is, to split "prest" into a separate repository when moving to Git. If it does not complicate this future separation, we may put "prest" to a rest now (maybe leaving prest/README). |