Closed dmgerman closed 3 years ago
sort the morphs in the output. The output is first sorted by morph, and within morph, by noteid
optionally output the locations.
rename script from dumb_py to dump_db.py (what a "dump" typo!)
update docs/new-features.org accordingly
I have rebased the commit. it should now merge as a fast-forward commit.
Thanks. The checks ran this time.
sort the morphs in the output. The output is first sorted by morph, and within morph, by noteid
optionally output the locations.
rename script from dumb_py to dump_db.py (what a "dump" typo!)
update docs/new-features.org accordingly