diff options
author | Ralph Amissah <ralph.amissah@gmail.com> | 2023-04-20 19:22:17 -0400 |
---|---|---|
committer | Ralph Amissah <ralph.amissah@gmail.com> | 2023-04-20 19:22:20 -0400 |
commit | cff8fea1ee232fcb751b2d6d3e7bfe4ef4060247 (patch) | |
tree | 60e09ffea451a51396e4115b96bf115f30ba9e3d /org/config_git.org | |
parent | nix org cleaning (diff) |
html search form action (for index & text results)
- obstinately avoiding scripting, even javascript
result far from an ideal compromise,
(two submission forms (for text & for index))
Diffstat (limited to 'org/config_git.org')
0 files changed, 0 insertions, 0 deletions