diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-28 01:22:52 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-28 01:22:52 +0100 |
| commit | 53916fc3f7dcbefd90e3d0340a2a8f32bf331d1d (patch) | |
| tree | baf9b5d6bdfdc77d0338e230adf64f7f52aefa4e /lib/config.ml | |
| parent | 722a3d4d2d0d0630f57cfbfdddc229dee341505b (diff) | |
| download | sandy-53916fc3f7dcbefd90e3d0340a2a8f32bf331d1d.tar.gz sandy-53916fc3f7dcbefd90e3d0340a2a8f32bf331d1d.zip | |
feat: add plain search functionality (with history)
Diffstat (limited to 'lib/config.ml')
0 files changed, 0 insertions, 0 deletions