diff options
| author |   Georgy Yakovlev <gyakovlev@gentoo.org> | 2019-02-05 11:23:27 -0800 |
|---|---|---|
| committer | Georgy Yakovlev <gyakovlev@gentoo.org> | 2019-02-05 11:23:50 -0800 |
| commit | dcaac8e8fd9fe693625a46a39673fc30c097998d (patch) | |
| tree | 9efa62bdc15bece9414f82a2f303e178656dca98 /metadata/md5-cache/dev-util/herdtools7-7.47 | |
| parent | opam.eclass: check only for known EAPI, die otherwise (diff) | |
| download | gentoo-dcaac8e8fd9fe693625a46a39673fc30c097998d.tar.gz gentoo-dcaac8e8fd9fe693625a46a39673fc30c097998d.tar.bz2 gentoo-dcaac8e8fd9fe693625a46a39673fc30c097998d.zip | |
opam.eclass: fix whitespace
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
Diffstat (limited to 'metadata/md5-cache/dev-util/herdtools7-7.47')
0 files changed, 0 insertions, 0 deletions