From b4f4a79a7392c56ada07b70bdca8be541ee3ce9c Mon Sep 17 00:00:00 2001 From: Eric Swenson Date: Tue, 8 Sep 2020 12:03:24 -0700 Subject: [PATCH] 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. --- src/syseng/{dirdev.86 => dirdev.87} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/syseng/{dirdev.86 => dirdev.87} (100%) diff --git a/src/syseng/dirdev.86 b/src/syseng/dirdev.87 similarity index 100% rename from src/syseng/dirdev.86 rename to src/syseng/dirdev.87