From bd942e122c1aac6932ca39b3ec97586016fb6be4 Mon Sep 17 00:00:00 2001 From: Jonas Bernoulli Date: Wed, 27 Feb 2013 19:33:44 +0100 Subject: [PATCH] inhibit dev from being added to the load-path --- dev/.nosearch | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 dev/.nosearch diff --git a/dev/.nosearch b/dev/.nosearch new file mode 100644 index 0000000..e69de29