David A. Harding 961d6c988f Revert "Merge pull #793: Dev Docs: New Glossary & JS Search Box" ... This reverts commit e3dcf0ce1f, reversing changes made to c71e9fdf2d. Once again we had a broken new plugin that Travis CI and local building didn't catch.		2015-04-10 19:33:39 -04:00
..
bitcoin-core	Revert "Merge pull #793: Dev Docs: New Glossary & JS Search Box"	2015-04-10 19:33:39 -04:00