diff options
| author | George Hazan <george.hazan@gmail.com> | 2023-08-04 18:23:57 +0300 |
|---|---|---|
| committer | George Hazan <george.hazan@gmail.com> | 2023-08-04 18:23:57 +0300 |
| commit | 1cbdcde34f1d6fbcdb80317fa16c3dd8131f542f (patch) | |
| tree | d438efaae235298c6498ad83bdfdc1cfbdb0cc82 /make_core_def.cmd | |
| parent | e215b9e602c3a3e4dd9ee2b9f9d1bb6bad9e4060 (diff) | |
for #3530 (Bookmarks)
Diffstat (limited to 'make_core_def.cmd')
0 files changed, 0 insertions, 0 deletions