diff options
| -rw-r--r-- | otherlibs/dbm/.depend | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/otherlibs/dbm/.depend b/otherlibs/dbm/.depend index 7da96ffca..94f8632f0 100644 --- a/otherlibs/dbm/.depend +++ b/otherlibs/dbm/.depend @@ -2,3 +2,15 @@ dbm.cmo: dbm.cmi dbm.cmx: dbm.cmi dbm.cmo: dbm.cmi dbm.cmx: dbm.cmi +dbm.cmo: dbm.cmi +dbm.cmx: dbm.cmi +dbm.cmo: dbm.cmi +dbm.cmx: dbm.cmi +dbm.cmo: dbm.cmi +dbm.cmx: dbm.cmi +dbm.cmo: dbm.cmi +dbm.cmx: dbm.cmi +dbm.cmo: dbm.cmi +dbm.cmx: dbm.cmi +dbm.cmo: dbm.cmi +dbm.cmx: dbm.cmi |