diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-08-12 08:38:45 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-08-15 09:32:58 +0200 |
| commit | 07b3cba3eef446c4532d984ee15737a34cd6c64f (patch) | |
| tree | 168abbab10cc19b98843272919e6a629b0d7f743 /media-fonts/fgdc-emergency | |
| parent | office-ext-r1.eclass: add @SUPPORTED_EAPIS (diff) | |
| download | gentoo-07b3cba3eef446c4532d984ee15737a34cd6c64f.tar.gz gentoo-07b3cba3eef446c4532d984ee15737a34cd6c64f.tar.bz2 gentoo-07b3cba3eef446c4532d984ee15737a34cd6c64f.zip | |
opam.eclass: add @SUPPORTED_EAPIS
Diffstat (limited to 'media-fonts/fgdc-emergency')
0 files changed, 0 insertions, 0 deletions