secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,919 Commits 4 Branches 1 Tag 157 MiB
Commit Graph

6 Commits

Author SHA1 Message Date
Gerwin Klein 977ed44f17 Add SPDX license identifiers 
This commit makes the repository conform to the REUSE spec, using SPDX
license identifiers and copyright info for all files.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
 2020-11-30 09:25:37 +11:00
Kent McLeod da64810d82 Import include_absolute.rb 
Previously this was included from a submodule, but requires updating in
order to update to jekyll 4.0.0.
 2020-04-03 12:16:39 +11:00
Adam Felizzi cc66f7cddf Add jekyll-include-absolute-plugin 
This allows includes from top level folder rather than restricted to
_includes
 2018-05-02 13:33:43 +10:00
Kent McLeod f69dbabede Swap pygments css themes to WCAG AA passing ones 2018-03-22 14:02:40 +11:00
Kent McLeod 5558e4077d Add Pygments styles for syntax highlighting 2018-03-16 11:41:45 +11:00
Kent McLeod 3b30d481cf Add jekyll-breadcrumbs plugin 
This plugin is added as a submodule and symlinked into the source tree
 2018-03-06 10:45:02 +11:00