diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:45:19 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:45:19 -0400 |
commit | 1a96e18000db336129e0a99e3c86e7a57f152402 (patch) | |
tree | 2baf2a09402cedd80d6b24f7b001b3c5194cf017 /tests/dcol.urp | |
parent | 18c72ec4eb9f53935a1a1d7145b919f8a8c8684e (diff) |
Remove some GCC-specific identifier choice and documentation
Diffstat (limited to 'tests/dcol.urp')
0 files changed, 0 insertions, 0 deletions