From cdfdc93e8792fdd74cc34ebdd0682043cf8a4567 Mon Sep 17 00:00:00 2001 From: James Vega Date: Tue, 14 Dec 2004 16:04:50 +0000 Subject: [PATCH] Move it back to tools/. Makes it easier for me to use in the .deb --- {sandbox => tools}/generate-plugin-documentation.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {sandbox => tools}/generate-plugin-documentation.py (100%) diff --git a/sandbox/generate-plugin-documentation.py b/tools/generate-plugin-documentation.py similarity index 100% rename from sandbox/generate-plugin-documentation.py rename to tools/generate-plugin-documentation.py