diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2022-04-02 07:27:26 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2022-04-02 07:28:23 +0200 |
| commit | 8f4b5b09096ae5e470c6410312c24581da319733 (patch) | |
| tree | d14314bf9f332a09692bdd74b44223d5f248335e /src/tutorial/basics.source | |
| parent | 79df1d20c59c7fa21326f85be90f875fbe229ec6 (diff) | |
Remove obsolete comment
accidentally left behind by 4cb658af70027c3544fb843d77b2e84028762747
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions