Revert "move mzlib docs to the compatility pkg"
The "-lib" in "compatbility-lib" is meant to mean "no documentation" -- and, more to the point, no dependency on documentation infrastructure. Move later to a "compatibility-doc" package. This reverts commit acce2d27d13a0bb2fffd4a4a5b844a2395b874f0. original commit: 05dfce142b39e20d57598708cad501a8d9a14622
This commit is contained in:
Matthew Flatt
parent
666b3e3c31
commit
05e9e866a3
Loading…
Reference in New Issue
Block a user