diff options
author | Federico Igne <undyamon@disroot.org> | 2024-01-11 19:38:04 +0100 |
---|---|---|
committer | Federico Igne <undyamon@disroot.org> | 2024-01-11 19:38:04 +0100 |
commit | b177712c7ac2563cbfad48927452d9544cbafd22 (patch) | |
tree | 77f11233eb096a25940904a289bd05b245878cec /lib/editorBuffer.ml | |
parent | 055c743c55bde27f4475d3434c26d8383c0c3ea1 (diff) | |
download | sandy-b177712c7ac2563cbfad48927452d9544cbafd22.tar.gz sandy-b177712c7ac2563cbfad48927452d9544cbafd22.zip |
refactor: revert temporary naming
Diffstat (limited to 'lib/editorBuffer.ml')
0 files changed, 0 insertions, 0 deletions