Lars Eggert 28b8ed0c84 fix: Allow searching for non-alphanumeric characters (#4266) ... * fix: Allow searching for non-alphanumeric characters Fixes #3675 @rjsparks, this avoids us needing to fork list.js. If you prefer a fork, let me know. * Add a TODO		2022-07-26 09:38:34 -05:00
..
css	chore: Update bootstrap to 5.2.0 (#4034)	2022-07-21 15:56:27 -05:00
images	feat: Add opengraph information to document pages (#4207)	2022-07-23 12:07:04 -05:00
js	fix: Allow searching for non-alphanumeric characters (#4266)	2022-07-26 09:38:34 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00