Merge branch 'release/v3.1.11' into gh-pages
Merge branch 'release/v3.1.12' into gh-pages
Add QUOTA-API.
Added OMA-URI-SCHEME ref.
Use abbr in copyright boilerplate, not acronym.
remove tracing code
Merge pull request #49 from tobie/develop

Add QUOTA-API and OMA-URI-SCHEME refs.
Merge pull request #51 from sideshowbarker/gh-pages

Use abbr in copyright boilerplate, not acronym.
Merge branch 'develop' into gh-pages
remove rel=biblioentry, fixes #52
don't generate duplicate IDs if the same interface is created multiple times
align IDL for union types as well, fixes #48
properly check for interface definition existence in context. Fixes #54
support for using your own numbering on issues
error in WebIDL spec (sic)
v3.1.13
Merge branch 'release/v3.1.13' into gh-pages
Merge branch 'release/v3.1.13' into develop
fix ToC link bug
v3.1.14