diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2013-11-23 23:26:08 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2013-11-24 00:04:10 +0100 |
| commit | ae61e1397d343ee9b1e9a9715200e96706715e27 (patch) | |
| tree | 5ccadcb1f5ce07b6dcbdbdfc5d8d62ea262eaabe /INSTALL.doc | |
| parent | a000b714412e4b1f48bf3ffe1479cf6589874b47 (diff) | |
Slightly more efficient zip function in Closure.
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions