diff options
| author | noa@gaiwan.org | 2024-07-02 11:37:41 +0000 |
|---|---|---|
| committer | noa@gaiwan.org | 2024-07-02 11:37:41 +0000 |
| commit | 9c3284c551f3d74b8b34b3c8144d7f7a17f299ec (patch) | |
| tree | 2192ff60bdad121bfb9558209f7dcf690a54cc9e /media.org | |
| parent | 7c2d6969e18172eae6615ac0c324daa6d6cd0fa7 (diff) | |
Split consult-info into separate code block
In preparation for a new function to search all info manuals at once.
Diffstat (limited to 'media.org')
0 files changed, 0 insertions, 0 deletions