diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-11-19 19:30:18 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-11-19 19:30:54 +0100 |
| commit | 642e7282213bd5bda45eb4947f4baa7686bc9093 (patch) | |
| tree | 70689353fec7896e2c57d683843dc78515e4b787 /app-xemacs/general-docs/general-docs-1.11.ebuild | |
| parent | dev-ml/dune-configurator: add 3 (diff) | |
| download | gentoo-642e7282213bd5bda45eb4947f4baa7686bc9093.tar.gz gentoo-642e7282213bd5bda45eb4947f4baa7686bc9093.tar.bz2 gentoo-642e7282213bd5bda45eb4947f4baa7686bc9093.zip | |
dev-ml/dune: add 3.0.3
includes dune-configurator
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'app-xemacs/general-docs/general-docs-1.11.ebuild')
0 files changed, 0 insertions, 0 deletions