diff options
| author | Pierre-Marie Pédrot | 2016-03-10 14:17:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-10 14:19:10 +0100 |
| commit | 10e3c8e59664ed5137cd650ba6e0704943c511e8 (patch) | |
| tree | 79467b438b5fec7fa54ca0564bcb16ad431236f9 /dev | |
| parent | 1b55adb1bea6d0e51fff54d9d94d95d8185476b7 (diff) | |
Removing OCaml deprecated function names from the Lazy module.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions