diff --git a/lib/modules/ADT.pmod/module.pmod b/lib/modules/ADT.pmod/module.pmod new file mode 100644 index 0000000000000000000000000000000000000000..0e909ca33287f82f9e75e3f8978b206de4c67cd8 --- /dev/null +++ b/lib/modules/ADT.pmod/module.pmod @@ -0,0 +1 @@ +inherit _ADT;