diff options
Diffstat (limited to 'bytecomp/dll.mli')
| -rw-r--r-- | bytecomp/dll.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bytecomp/dll.mli b/bytecomp/dll.mli index 56bc64aee0..975315e268 100644 --- a/bytecomp/dll.mli +++ b/bytecomp/dll.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id: dll.mli 12959 2012-09-27 13:12:51Z maranget $ *) - (* Handling of dynamically-linked libraries *) (* Extract the name of a DLLs from its external name (xxx.so or -lxxx) *) |