diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-01-06 23:42:28 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-01-06 23:42:28 +0800 |
| commit | f27d604d93ce583d4404e1874664e08382ea2f00 (patch) | |
| tree | 6fa8df26af954e94f3604ffabde4961ee8108c41 /semiring/src | |
| parent | 7dd4935230e303aef8d295d992239d59d95b32d7 (diff) | |
Save before system restart.
I am about to re-start my system, so I save before any crashes
happen.
Diffstat (limited to 'semiring/src')
0 files changed, 0 insertions, 0 deletions