diff options
Diffstat (limited to 'camlp4/examples/all.itarget')
| -rw-r--r-- | camlp4/examples/all.itarget | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/camlp4/examples/all.itarget b/camlp4/examples/all.itarget deleted file mode 100644 index d8384bab2..000000000 --- a/camlp4/examples/all.itarget +++ /dev/null @@ -1,11 +0,0 @@ -apply_operator.cmo -type_quotation.cmo -lambda_quot.cmo -lambda_quot_o.cmo -macros.cmo -parse_files.byte -parse_files.native -arith.cmo -expression_closure.cmo -expression_closure_filter.cmo -global_handler.cmo |