diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-02-11 19:43:53 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-02-11 19:53:27 +0100 |
commit | dd3ad1f5f47838fdb9cf5ce3b4adb2eadac6358e (patch) | |
tree | d2514afd91c9234c63ae023077d7cd842d456c13 /dev-ml/ppx_traverse | |
parent | profiles: Remove incomplete nios2 profiles (diff) | |
download | gentoo-dd3ad1f5f47838fdb9cf5ce3b4adb2eadac6358e.tar.gz gentoo-dd3ad1f5f47838fdb9cf5ce3b4adb2eadac6358e.tar.bz2 gentoo-dd3ad1f5f47838fdb9cf5ce3b4adb2eadac6358e.zip |
profiles: Remove nios2 arch
Closes: https://bugs.gentoo.org/644754
Diffstat (limited to 'dev-ml/ppx_traverse')
0 files changed, 0 insertions, 0 deletions