Commit c3022ba5fc09b6badac00b8c123aad9d45c2e039

Stefan Sperling 2019-07-27T22:15:05

rename "histedit list" to "histedit script" (on-disk filename changed)