diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-25 15:14:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-25 15:14:18 +0200 |
commit | cbb9862cd9008f7e34d9367b5a4fb520ee0ba351 (patch) | |
tree | a83eb589476314a56b22344cbaf06ca1e1d24420 /configure.ac | |
parent | 7b2ae472ff05a39cd635ac10dbbce3cd17b60c93 (diff) | |
parent | b2748c6e99239ff6803ba0da76c362790c8be192 (diff) |
Merge pull request #3626 from W95Psp/master
Make `functionArgs` primitive accept primops (fix #3624)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions