diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-10-01 11:15:45 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-10-01 11:28:46 -0700 |
| commit | df39c0c8dee65a10dfc339a970a3beb4d0e481f3 (patch) | |
| tree | 18113c438cc65bded12b87ac746e42160cad85ad /arc/charterm/planet-docs | |
| parent | ca00f6b97c52262b39c28cccb76b52e059553f13 (diff) | |
| download | mu-df39c0c8dee65a10dfc339a970a3beb4d0e481f3.tar.gz | |
4635
Another sanity check. We don't really have a clear big picture yet. But I've now slapped on checks for all the issues I was worrying about. A more rigorous solution would be some sort of interval tree. We'd also need to track segments generated at translation time. We don't do that so far.
Diffstat (limited to 'arc/charterm/planet-docs')
0 files changed, 0 insertions, 0 deletions