typeset: correct the form of code:contract# and code:quote
#256
| Job | Run time |
|---|---|
| 5m 32s | |
| 6m 11s | |
| 11m 43s |
code:contract# and code:quote
#256
| Job | Run time |
|---|---|
| 5m 32s | |
| 6m 11s | |
| 11m 43s |