chiark / gitweb /
dump-to-assgn: Add a script to convert dumps into `read_tree' form.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 6 Sep 2024 20:58:32 +0000 (21:58 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 6 Sep 2024 20:58:32 +0000 (21:58 +0100)
commita371d5a9f78150676e8bcafd76405b6fadc00987
tree3bc0edbc33861cb28b0bd47c47ae17d363df7694
parent6d502a2d0f0cbb5aaf4b8c9261d2a4698821f124
dump-to-assgn: Add a script to convert dumps into `read_tree' form.

Also pretty-prints `read-tree' format.
dump-to-assgn [new file with mode: 0755]