diff options
| author | Ivan Tham | 2021-06-02 15:47:50 +0000 |
|---|---|---|
| committer | Ivan Tham | 2021-06-02 15:47:50 +0000 |
| commit | f5f46b1fed242f0b5a206753f7f977299fb2ff65 (patch) | |
| tree | 3789fdb1378b76bb572a37d5cab1276aae91a8ca /.github/workflows | |
| parent | 0a6672c6261062eb13ed8c30ab2800c340e5f6ac (diff) | |
Separate document history into Cell
As history is used separately from the rest of the edits, separating it
can avoid needless borrowing and cloning. But one need to be aware later.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions