Skip to content

Support to ignore_case rule flag#5

Merged
davegraziosi merged 1 commit intodavegraziosi:devfrom
italrap:patch-3
Jul 9, 2019
Merged

Support to ignore_case rule flag#5
davegraziosi merged 1 commit intodavegraziosi:devfrom
italrap:patch-3

Conversation

@italrap
Copy link

@italrap italrap commented Jul 8, 2019

Merge request checklist

  • I read the guidelines for contributing
  • I created my branch from dev and I am issuing the PR to dev
  • I didn't pushed the dist directory
  • Unit tests are OK
  • If it's a new feature, I added the necessary unit tests
  • If it's a new language, I filled the __locale and __author fields

@davegraziosi davegraziosi merged commit 4736615 into davegraziosi:dev Jul 9, 2019
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

Comments