diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-09-29 14:01:32 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-09-29 14:01:32 +0000 |
| commit | 4866f38861d7ebc578dcc5754e40b51fffca8b2f (patch) | |
| tree | 419c1a14962e665d52f4f121371facdd237e02fe /doc/Makefile | |
| parent | b41afcbad12d337e268ca5464a4e6d4311708fef (diff) | |
FIX: prefix types used as operators should be quoted
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions