summaryrefslogtreecommitdiffstats
path: root/config/auto-aux/.ignore
blob: cb1ca8a9f09b6ce7bc6a62e1bab279c1c5468778 (plain)
1
camlp4_config.ml