diff options
| author | Josh Rahm <rahm@google.com> | 2022-12-14 13:24:13 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-12-14 13:24:13 -0700 |
| commit | 760ca866a17105056688da9eaa0829941a91bc76 (patch) | |
| tree | c6cebc5fbe3d60a73e4820f261d97814550a5e62 /extras | |
| parent | d7f4e6cdc9693e58733f67168a1fe84f0c805507 (diff) | |
| download | rde-760ca866a17105056688da9eaa0829941a91bc76.tar.gz rde-760ca866a17105056688da9eaa0829941a91bc76.tar.bz2 rde-760ca866a17105056688da9eaa0829941a91bc76.zip | |
Make the history zipper state persistent.
I don't know why it wasn't always persistent ...
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions