diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-18 20:35:06 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-18 20:35:06 +0100 |
| commit | b6b7e387261e5483f1bdfafaaa975e2f24c6567c (patch) | |
| tree | e8b4acc4173054abaf6b15ad219f86be82d4f1b4 /docs/docsearch.css | |
| parent | 317fd7514e638780c09ed6349a165a854ba2deea (diff) | |
Use cluster with two cores to reduce windows check time
Diffstat (limited to 'docs/docsearch.css')
0 files changed, 0 insertions, 0 deletions