Commits on Oct 23, 2015
  1. Dev docs: change "op code" to "opcode"

    Closes #1068
    harding committed Oct 23, 2015
Commits on Apr 14, 2015
  1. Revert "Revert "Merge pull #793: Dev Docs: New Glossary & JS Search B…

    …ox""
    
    This reverts commit 961d6c9.
    harding committed Apr 14, 2015
Commits on Apr 10, 2015
  1. Revert "Merge pull #793: Dev Docs: New Glossary & JS Search Box"

    This reverts commit e3dcf0c, reversing
    changes made to c71e9fd.
    
    Once again we had a broken new plugin that Travis CI and local building
    didn't catch.
    harding committed Apr 10, 2015
Commits on Mar 19, 2015
  1. Dev Docs: Add Glossary Entries & Search Links

    This adds the data used to populate the glossary and search terms.
    
    Closes #593
    harding committed Mar 14, 2015