diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-10 16:27:12 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-10 16:30:49 +0100 |
commit | e46ee27b218dde8ebb948e8b3b28e9cd8250bc70 (patch) | |
tree | c3e7a0a7713e656dfe6ee7c1b6e337a411f0f786 /docs | |
parent | f41d1759b890613895879f36e69e9928dd517f0e (diff) |
Skip BSPM, it's the default
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions