tree cbae76ada0c907e9da3f0184c707eaed8e017a4e
parent 33ce97a69370796a15546c8ffc72a4d09b434d82
author Tim Edwards <tim@opencircuitdesign.com> 1621995608 -0400
committer Tim Edwards <tim@opencircuitdesign.com> 1621995608 -0400

Minor correction to techfile to replace a measurement value in a
DRC spacing rule explanation string with the "%d" formatting
string, as pointed out by Mark Martin.