diff options
| author |   Stephan Hartmann <sultan@gentoo.org> | 2020-09-05 18:49:15 +0200 |
|---|---|---|
| committer | Stephan Hartmann <sultan@gentoo.org> | 2020-09-06 20:45:44 +0200 |
| commit | 7a8d3ae51d5629d43cd80c01db3498da65e1f62a (patch) | |
| tree | 7520b357f8649c81b91fa8fe2a5aa380068fc0e5 /dev-lang | |
| parent | profiles/base/package.use.mask: mask media-libs/libmypaint[openmp] (diff) | |
| download | gentoo-7a8d3ae51d5629d43cd80c01db3498da65e1f62a.tar.gz gentoo-7a8d3ae51d5629d43cd80c01db3498da65e1f62a.tar.bz2 gentoo-7a8d3ae51d5629d43cd80c01db3498da65e1f62a.zip | |
dev-embedded/arduino-builder: re-add missing platform.txt
Closes: https://bugs.gentoo.org/735718
Package-Manager: Portage-3.0.4, Repoman-3.0.1
Signed-off-by: Stephan Hartmann <sultan@gentoo.org>
Diffstat (limited to 'dev-lang')
0 files changed, 0 insertions, 0 deletions