diff parse.py @ 19:9b1b169dc8db

use refs, but broken: doesn't deal with ranges (false negs) or external refs (false pos), and not finding things it should (e.g. kenneth_lay X88)
author Henry S. Thompson <ht@markup.co.uk>
date Tue, 04 Apr 2017 17:45:50 +0100
parents 263a1935d37d
children e500d7c18aad
line wrap: on
line diff