diff options
| author | Théo Zimmermann | 2017-06-13 17:24:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-06-13 17:24:43 +0200 |
| commit | e36d139f6cb73d1e5021a77d38925b2879efda62 (patch) | |
| tree | bfb524ea0086dd2a71b482901d0e328f215543b6 /API/API.ml | |
| parent | 5bf9c993d3ef15ecf4c6d5c12f23f9c2fe67dfa7 (diff) | |
Revert "[travis] temporary UniMath overlay"
This reverts commit 7ca4e36af8a12236a618bd3a8d045439df40dd43.
Not necessary anymore since UniMath/UniMath#715 has been merged.
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions