diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2000-03-30 05:57:30 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2000-03-30 05:57:30 +0000 |
| commit | b68d9c4c419f41fc41e2135d8612e0a4b0895fb3 (patch) | |
| tree | 4ff551a0e529e5eff9e4885d333589eee171391a /src/tutorial/basics.source | |
| parent | 0517c3204e38116ba0d07f0412e83e9a51b02d59 (diff) | |
Makefile should not pre-empt user's decision about whether
to use -g ... especially not when this can cause real problems on some
platforms ...
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions