You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
Sebastian Heimann ac4004b228 polishing 1 year ago
..
static polishing 1 year ago
globaltoc.html Renaming to `sphinx_sleekcat_theme` 5 years ago
layout.html Removed pyrocko.org link, resized button 4 years ago
theme.conf Updated theme 5 years ago