Mike McQuaid 2ac9242562
docs/_config.yml: enable documentation search.
Set the search placeholder badge, the index and trigger a new GitHub
Pages build (by merging this).
2019-03-07 18:38:44 +00:00
..
2018-10-05 17:23:22 -04:00
2018-10-05 17:23:22 -04:00
2018-05-02 17:57:32 +01:00
2019-01-08 19:13:46 +00:00
2017-01-04 10:53:21 +00:00
2019-01-23 21:57:40 +00:00
2018-10-04 15:37:01 +01:00
2019-03-05 11:44:10 -08:00
2018-10-03 21:21:05 +00:00
2018-10-04 15:37:01 +01:00
2019-03-03 15:38:28 +11:00
2017-07-02 15:09:26 +01:00
2018-10-05 17:23:22 -04:00
2019-01-08 19:13:46 +00:00
2018-10-05 17:23:22 -04:00
2018-10-05 17:23:22 -04:00
2018-10-05 17:23:22 -04:00