root/trunk/spec/spec.dbk

Revision 12, 407.4 KB (checked in by oren, 7 months ago)

Fix bug in naming of production link;
Enhance verifiers to catch this sort of problem.

HTML preview not available, since the file size exceeds 262144 bytes. Try downloading the file instead.

Note: See TracBrowser for help on using the browser.