Sebastian Marcet 50cf024d31 Update Site Search ...

Replaced Google site search by Swiftype search.
Google updating standard site search and placing
query limit + advertisements. Ultimately, entire
program will be deprecated.
Most expedient change that would meet our needs
(including auto-index) was https://swiftype.com/.

Change-Id: Ife766daec171ed578fb098471edbd497b0891561

2017-06-20 15:41:27 -03:00

..

bootstrap.js

Removed minimized files

2016-06-16 20:36:03 +00:00

bootstrap.min.js

Removed minimized files

2016-06-16 20:36:03 +00:00

doc-characters.json

New homepage design

2015-01-30 15:36:50 +08:00

docs.js

Make script for superuser image variable

2015-02-12 21:53:59 +09:00

jquery-3.1.1.js

Update jQuery

2017-02-17 11:36:15 +10:00

navigation.js

Update Site Search

2017-06-20 15:41:27 -03:00

webui-popover.js

New homepage design

2015-01-30 15:36:50 +08:00