diff options
| author | Théo Zimmermann | 2018-04-24 11:59:50 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-05 11:54:04 +0200 |
| commit | 7ad6799bccce274244e6a52c89d579e1588d1e9c (patch) | |
| tree | c3669c4712c8d6667d9fc5ee655607616e358a03 /doc/RecTutorial | |
| parent | 5eb1dd3df297c30fccd4ad09a3a16b114eb4c5e0 (diff) | |
[sphinx] Replace remaining `@natural` by `@num`.
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions