diff --git a/DEVEL b/DEVEL new file mode 100644 index 0000000..e69de29