diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2018-05-24 23:10:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-24 23:10:17 +0100 |
| commit | a2f9d9d8d5a32e2bf1b8126e371b826151903cde (patch) | |
| tree | 787949a8ff9792b8aaaa5dd1a7b558c6735ac29e /src/runtime/python | |
| parent | 19c6090e8555fe3d5225f36d481792aaa7e5259f (diff) | |
| parent | 2ae44902e1284270754d177530ea168cf9b11901 (diff) | |
Merge pull request #52 from odanoburu/doc-pre
(refman) update pre syntax
Diffstat (limited to 'src/runtime/python')
0 files changed, 0 insertions, 0 deletions