devel/tla: Remove expired port
2024-04-30 devel/tla: Deprecated and obsolete revision control system, consider migrating to devel/git or devel/mercurial
devel/tla: Remove expired port Tags None Referenced Files None Subscribers None
Description
Details
|