diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2016-09-20 12:00:00 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2016-09-20 12:00:00 -0400 |
| commit | ee33250f759108c0be163452c10677af0a99ef9e (patch) | |
| tree | 6be6b033d991c5aab1fc6706435d5f33a515a67d /src/tutorial/basics.source | |
| parent | 8c48a89da246f4b536c1b38b47cfe6e174c9a9fc (diff) | |
doc: Fix documentation to match actual make output
based on patch from Takeshi Ideriha <iderihatakeshi@gmail.com>
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions