From fb13eb7db84e93d3791d0674d82923d5f168530e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Matthias=20Dieter=20Walln=C3=B6fer?= Date: Thu, 15 Oct 2009 11:06:08 +0200 Subject: [PATCH] s4:w32err_code.py script - put it under "scripting/bin" I think this is a better location for this script. Since the subdirectory "script" of "source4" contains only scripts for "make install" and "make uninstall". --- source4/{script => scripting/bin}/w32err_code.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename source4/{script => scripting/bin}/w32err_code.py (100%) diff --git a/source4/script/w32err_code.py b/source4/scripting/bin/w32err_code.py similarity index 100% rename from source4/script/w32err_code.py rename to source4/scripting/bin/w32err_code.py -- 2.34.1