diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-18 01:19:06 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-18 01:22:08 +0200 |
| commit | bdfe4801295945b92f84b8c03cb2e0be485ae4f0 (patch) | |
| tree | 4e3b51b3ad5269404a168fe10b9e3ffddcacb3d5 /GNUmakefile | |
| parent | ec1b0c41160ce153f3b2cd39ffeb2f4522fd1c38 (diff) | |
Promote special operator APPLY to an intrinsic function.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions