diff options
author | Dimitris Zlatanidis <d.zlatanidis@gmail.com> | 2016-09-26 23:21:40 +0300 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-10-01 07:28:39 +0700 |
commit | 82d711e698ec691a1f11a4fb69ef7b373eed8ef4 (patch) | |
tree | d200a18e14e2812e6245e36e4c32015cfcbbf947 /development/splint | |
parent | d9f80c4c8d3e4460d298d490930f4d83e9ec060f (diff) |
development/menhir: Switch to i586.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
Diffstat (limited to 'development/splint')
0 files changed, 0 insertions, 0 deletions