diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-07-17 16:27:46 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-07-17 16:27:46 +0200 |
| commit | a7e209b553e2e99ffc9aa2b003f9b73b9ac4b985 (patch) | |
| tree | 25b9b07d372bab606b07e91f53bd8059d867d767 /docs/docsearch.css | |
| parent | 9b8ee1c02b04cd45b9cd5231ec2bad36afe6313f (diff) | |
mkinfit: Ignore unused components of state.ini
Diffstat (limited to 'docs/docsearch.css')
0 files changed, 0 insertions, 0 deletions