Skip to content

[feature] prepare global default configuration#432

Merged
bobzhang merged 5 commits intomasterfrom
ppx_global_config
Jun 1, 2016
Merged

[feature] prepare global default configuration#432
bobzhang merged 5 commits intomasterfrom
ppx_global_config

Conversation

@bobzhang
Copy link
Member

@bobzhang bobzhang commented Jun 1, 2016

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 50.656% when pulling cac4f3b on ppx_global_config into 9e1714c on master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 50.656% when pulling 4592a6a on ppx_global_config into 9e1714c on master.

@bobzhang bobzhang merged commit 24188e5 into master Jun 1, 2016
@bobzhang bobzhang deleted the ppx_global_config branch June 1, 2016 20:14
@coveralls
Copy link

Coverage Status

Coverage remained the same at 50.656% when pulling cac4f3b on ppx_global_config into 9e1714c on master.

k4b7 pushed a commit to k4b7/rescript-compiler that referenced this pull request Dec 24, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants