chore: point to toolset migration

2026-07-20 16:44:39 +02:00
parent b3ae18d911
commit 054aa4d36e
17 changed files with 1645 additions and 312 deletions
@@ -0,0 +1,10 @@
+# lines — migrated
+
+The canonical `lines` agent tool moved to `/opt/repositories/toolset`.
+
+This repository no longer builds or releases an executable. Its Git history is the migration record; source, requirements, tests, installation, and release authority now live in toolset.
+
+```sh
+cd /opt/repositories/toolset
+zig build install-text -p "$HOME/.ink"
+```