diff options
author | 2016-01-13 17:38:27 +0100 | |
---|---|---|
committer | 2016-01-13 17:38:27 +0100 | |
commit | 4b4a4b6b41e6b303d556638ed2a79b1493b1ecf4 (patch) | |
tree | 5202a95f44355a5019680a6ae90a93fa169724d2 /theories/theories.itarget | |
parent | 245affffb174fb26fc9a847abe44e01b107980a8 (diff) |
MMaps: remove it from final 8.5 release, since this new library isn't mature enough
In particular, its interface might still change (in interaction with interested
colleagues). So let's not give it too much visibility yet. Instead, I'll turn
it as an opam packages for now.
Diffstat (limited to 'theories/theories.itarget')
-rw-r--r-- | theories/theories.itarget | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/theories/theories.itarget b/theories/theories.itarget index b7de41641..aacab2d97 100644 --- a/theories/theories.itarget +++ b/theories/theories.itarget @@ -4,7 +4,6 @@ Classes/vo.otarget Compat/vo.otarget FSets/vo.otarget MSets/vo.otarget -MMaps/vo.otarget Structures/vo.otarget Init/vo.otarget Lists/vo.otarget |