Jon Leech e1c0e426f3 Fix Makefile PATCHVERSION to 72, and finish cleaning up after the ...

dirtree reorganization, changing paths in build scripts and other
spec-adjacent material.

2018-04-05 05:07:37 -07:00

..

extensions.txt

Fix Makefile PATCHVERSION to 72, and finish cleaning up after the

2018-04-05 05:07:37 -07:00

markup.txt

Fix Makefile PATCHVERSION to 72, and finish cleaning up after the

2018-04-05 05:07:37 -07:00

misc.txt

Restructure the repository to put the specification Makefile and

2018-04-04 23:08:43 -07:00

naming.txt

Restructure the repository to put the specification Makefile and

2018-04-04 23:08:43 -07:00

vuid.txt

Fix Makefile PATCHVERSION to 72, and finish cleaning up after the

2018-04-05 05:07:37 -07:00

writing.txt

Restructure the repository to put the specification Makefile and

2018-04-04 23:08:43 -07:00