Move extent2 -> extent.

Eventually, we may fully break off the extent module; but not for some time.  If
it's going to live on in a non-transitory state, it might as well have the nicer
name.
This commit is contained in:
David Goldblatt
2019-12-16 11:05:07 -08:00
committed by David Goldblatt
parent 2f4fa80414
commit e210ccc57e
6 changed files with 7 additions and 12 deletions