diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-04-01 23:50:21 +0200 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-04-02 10:38:03 +0200 |
| commit | a94a3df89153fa514be328be032071c2d41545e7 (patch) | |
| tree | 352d730983e11dc1d1770de21af016929f3436fc /dev-ml/async_js | |
| parent | dev-ml/js_of_ocaml: Drop async support, will be readded with dev-ml/async_js. (diff) | |
| download | gentoo-a94a3df89153fa514be328be032071c2d41545e7.tar.gz gentoo-a94a3df89153fa514be328be032071c2d41545e7.tar.bz2 gentoo-a94a3df89153fa514be328be032071c2d41545e7.zip | |
dev-ml/js_of_ocaml: Fix build with latest ppx tools.
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'dev-ml/async_js')
0 files changed, 0 insertions, 0 deletions