From d4e3d7a16dc62e5bb16e73d149cfca748fd80514 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Mon, 4 Mar 2024 12:02:45 -0500 Subject: [PATCH] admin/syncdoc-type-hierarchy.el: Move from `etc` AFAICT `admin` is where we keep these kinds of files. (cherry picked from commit 167c17c1ad740b35ed1c875b57817784655851d9) --- {etc => admin}/syncdoc-type-hierarchy.el | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {etc => admin}/syncdoc-type-hierarchy.el (100%) diff --git a/etc/syncdoc-type-hierarchy.el b/admin/syncdoc-type-hierarchy.el similarity index 100% rename from etc/syncdoc-type-hierarchy.el rename to admin/syncdoc-type-hierarchy.el -- 2.39.5