diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-25 05:32:16 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-25 05:32:16 -0800 |
| commit | 8ec8acf2a4c9bc6219164111ca9141ff49d8d386 (patch) | |
| tree | dd71e0d6d18f8dc81d05ad977e082e9b66df8da2 /src/testsuite/interpreter/category.input | |
| parent | b200f025ccb0b684ff63844dbdddb3f4fa8048df (diff) | |
| download | open-axiom-8ec8acf2a4c9bc6219164111ca9141ff49d8d386.tar.gz | |
Do not rename 'apply'.
Diffstat (limited to 'src/testsuite/interpreter/category.input')
0 files changed, 0 insertions, 0 deletions