diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-05-18 21:26:17 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-05-18 21:26:17 +0200 |
| commit | 91c5db736a4d3f2290a0cc5698fb4e35ae7bda59 (patch) | |
| tree | 8e9e34d18f055936172329c1248e6e2ff136bff9 /.gitignore | |
| parent | ea57db98cef3fb882f7bd9656b44f270e7bded38 (diff) | |
Remove outdated comment in FOCUS L vignette, update docs
This also adds the first benchmark results obtained on my laptop system
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions