diff options
| author | Félix Sipma <felix.sipma@no-log.org> | 2016-05-24 12:57:44 +0200 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-06-13 23:24:16 -0400 |
| commit | 6b4432c5884d7187140d5fde771444f7c8301438 (patch) | |
| tree | 602119ae6d239e59fc9b6679c9dc4d7308aea0e6 /src/Utility/Data.hs | |
| parent | a0ef4e9e957cd11c53df66ce2e8c3f8e716f5501 (diff) | |
convert Architecture to a sumtype
TODO: remove ANDROID (used in GitAnnexBuilder)
TODO: add other architectures
TODO: rename ARMHF
TODO: rename ARMEL
(cherry picked from commit 6f36f6cade4e1d8b15c714565e223562c6573099)
Diffstat (limited to 'src/Utility/Data.hs')
0 files changed, 0 insertions, 0 deletions