1
0
mirror of https://github.com/PDP-10/its.git synced 2026-01-13 23:36:30 +00:00

Updated version number of DIRDEV from 86 to 87 since there was a historical

version 86 and we made changes on top of that.

Resolves #1944.
This commit is contained in:
Eric Swenson 2020-09-08 12:03:24 -07:00 committed by Lars Brinkhoff
parent 66dac82f59
commit b4f4a79a73