diff options
| author | Eduardo Julian | 2022-06-15 00:23:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-15 00:23:15 -0400 |
| commit | 64d12f85e861cb8ab4d59c31f0f8d2b71b865852 (patch) | |
| tree | 316d17cd2aaf6e0aa9950a2678a9b10987603d5e /documentation/bookmark/tool/Notebook.md | |
| parent | d5d5fcc3a85ef10081772355fc20932b387a35ab (diff) | |
Re-named "prelude_module" to "prelude".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions