diff options
Diffstat (limited to 'otherlibs/db/.depend')
| -rw-r--r-- | otherlibs/db/.depend | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/otherlibs/db/.depend b/otherlibs/db/.depend deleted file mode 100644 index 5d94dce520..0000000000 --- a/otherlibs/db/.depend +++ /dev/null @@ -1,2 +0,0 @@ -db.cmo: db.cmi -db.cmx: db.cmi |