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/ocaml-migrate-parsetree | |
| 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/ocaml-migrate-parsetree')
0 files changed, 0 insertions, 0 deletions