diff options
| author | Aaron LI <aly@aaronly.me> | 2017-08-26 15:43:21 +0800 |
|---|---|---|
| committer | Aaron LI <aly@aaronly.me> | 2017-08-26 15:43:21 +0800 |
| commit | 9f713b6b099a960488ce1b6aed6ef76be43471b5 (patch) | |
| tree | d7c9823714030ccc92d5552840cd9ff8636a9a87 /docs | |
| parent | 32bc2e5f436167432cfbf67fd6c0b162080449c9 (diff) | |
| download | fg21sim-9f713b6b099a960488ce1b6aed6ef76be43471b5.tar.bz2 | |
configs: Clean up unused options; clean up checkers as well
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions