diff options
author | Benjamin Balder Bach <benjamin@overtag.dk> | 2022-08-18 01:42:42 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-18 01:42:42 +0300 |
commit | 5f2ba042e68712808ca5cad0deeaf797decf6348 (patch) | |
tree | c649e93bcd406cafe75afac6721115223b7c03da | |
parent | e72adf2381eb0d3f9a452aa89319686410aeaf79 (diff) | |
parent | 89085ae8f02581dcb7784e75a445fa039ceb4835 (diff) |
Merge branch 'master' into agj/fix-ci
-rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -21,6 +21,9 @@ sphinx_rtd_theme/static/fonts/Lato/ sphinx_rtd_theme/static/fonts/RobotoSlab/ .python-version .node-version +.tool-versions +.nvmrc sphinx_rtd_theme/static/js/html5shiv.min.js sphinx_rtd_theme/static/js/html5shiv-printshiv.min.js -.nvmrc +.direnv/ +.envrc |