From 72f1bbc7ed52f89ef0fef2df02eecc34f1862960 Mon Sep 17 00:00:00 2001 From: Larry Masinter Date: Sat, 9 May 2026 19:32:03 -0700 Subject: [PATCH] IMNAME.TEDIT isn't really TEDIT it's text. rename it. --- doctools/{IMNAME.TEDIT => IMNAME.TXT} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doctools/{IMNAME.TEDIT => IMNAME.TXT} (100%) diff --git a/doctools/IMNAME.TEDIT b/doctools/IMNAME.TXT similarity index 100% rename from doctools/IMNAME.TEDIT rename to doctools/IMNAME.TXT