[libre-riscv-dev] bootstrap.js theme

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sun Feb 2 13:46:10 GMT 2020

i added a new theme to see what it looks like, not everything is
working however at least i re-added edit which was missing.  i tracked
down the template to here:

More information about the libre-riscv-dev mailing list