diff options
| author | Pierre-Marie Pédrot | 2014-03-20 15:27:40 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-20 15:41:22 +0100 |
| commit | 67319cef77a215163032ea94f28f8c21dcf64f3a (patch) | |
| tree | 3eafecdfcd2cf55c7e9c175e31fbd96702ff1e5e /dev/include | |
| parent | 7516347809b595f74fdd80c1129ed05e227c2b3d (diff) | |
Missing equalities in Names-like structures.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions