diff options
| author | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
| commit | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (patch) | |
| tree | b9d2f1495143054d61d9af129f36833624db9dac /documentation/bookmark | |
| parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) | |
Outsourced the syntax for labelled type definitions to macros.
Diffstat (limited to 'documentation/bookmark')
0 files changed, 0 insertions, 0 deletions