Jeremy Stretch d2744700c6 Fixes #2615: Tweak live search widget to use brief format for API requests

2018-11-27 12:41:00 -05:00

..

bootstrap-3.3.7-dist

…

css

Fixes #2565: Improved rendering of Markdown tables

2018-11-13 11:02:48 -05:00

font-awesome-4.7.0

Upgraded jquery to v3.3.1

2018-02-06 15:11:29 -05:00

img

Added an AJAX spinner

2017-07-17 11:41:39 -04:00

jquery-ui-1.12.1

…

js

Fixes #2615: Tweak live search widget to use brief format for API requests

2018-11-27 12:41:00 -05:00