diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2020-02-28 13:12:35 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2020-02-28 13:12:35 +0100 |
| commit | 780b14e30a87bc36c795bb57901bd315bea3a137 (patch) | |
| tree | ec47fcca145a22461c4f2fa10576df380484cdfc /system | |
| parent | cbc414353b6c9862fa5a89029fe1ef0ae4c22c52 (diff) | |
fix mark inline pseudo-code as code (to avoid misparsing as latex)
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions