diff options
| author | rfjakob | 2017-03-01 23:31:03 +0100 |
|---|---|---|
| committer | GitHub | 2017-03-01 23:31:03 +0100 |
| commit | c304626a475cbedbafea0c2f1a1d1b9cfef9bdde (patch) | |
| tree | 80e846c2659b0eaa0a3898ddde06cbdac4cf642d /internal/stupidgcm/benchmark.bash | |
| parent | 954aa169cc49ec1f6a935fc97f2f0f58a834492f (diff) | |
CLI_ABI: smaller markdown subheadings
The old ones were rendered by github almost as big as the parent headings.
Diffstat (limited to 'internal/stupidgcm/benchmark.bash')
0 files changed, 0 insertions, 0 deletions