From 18aee0f5f40a66701cfef0ef7faf9d86a64d83f2 Mon Sep 17 00:00:00 2001 From: Manevolent Date: Mon, 5 Feb 2024 20:45:52 -0700 Subject: [PATCH] Rename ghidra-server-proxy to ghidra-server-13100 --- docker/services/{ghidra-server-proxy => ghidra-server-13100} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docker/services/{ghidra-server-proxy => ghidra-server-13100} (100%) diff --git a/docker/services/ghidra-server-proxy b/docker/services/ghidra-server-13100 similarity index 100% rename from docker/services/ghidra-server-proxy rename to docker/services/ghidra-server-13100