diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2017-11-30 09:58:18 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2017-11-30 09:59:10 +0100 |
| commit | e4f04163d1e7c901fca1030569f8ca9d95ee4d98 (patch) | |
| tree | e1c757f0b9196ad71bb7af99de6d3b6d2e396aad /library/libobject.ml | |
| parent | f303ed9fb26797b9ec7d172fe583e7ee607ae441 (diff) | |
Warning for absolute name masking (making it deprecated, should become
an error)
Diffstat (limited to 'library/libobject.ml')
0 files changed, 0 insertions, 0 deletions