diff options
author | Jonas Bernoulli <jonas@bernoul.li> | 2013-02-27 19:41:40 +0100 |
---|---|---|
committer | Jonas Bernoulli <jonas@bernoul.li> | 2013-02-27 19:41:40 +0100 |
commit | 97f3e7f064b82f34eb292703c25499cc876e88d2 (patch) | |
tree | 15036147d37e84f636180c73e0d2a717f57da942 /dev | |
parent | 02113f1bd0bd621c1dd60c64f511f5fb043712fb (diff) |
prevent dev/ from being added to the load-path
Diffstat (limited to 'dev')
-rw-r--r-- | dev/.nosearch | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dev/.nosearch b/dev/.nosearch new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/dev/.nosearch |