diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-31 20:16:33 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:33 +0100 |
commit | 472440c233fccf662ff41193db66c62e7bc6f6d1 (patch) | |
tree | 0a1a515f0c19721b556be1298ccc88eb74b102d2 /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
parent | 6ee9d224832f5aabb1abfad0533c62ad90936624 (diff) |
Make identifier generation also architecture-independent.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions