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 acce2d27d1.
This commit is contained in:
Matthew Flatt
parent
336d6ebc09
commit
05dfce142b
Loading…
Reference in New Issue
Block a user