Skip to content

Remove ignored file from psalm.xml#49

Merged
EHER merged 1 commit into0.1.xfrom
psalm-remove-ignored-file
Nov 13, 2020
Merged

Remove ignored file from psalm.xml#49
EHER merged 1 commit into0.1.xfrom
psalm-remove-ignored-file

Conversation

@malukenho
Copy link
Member

No description provided.

@malukenho malukenho added the enhancement New feature or request label Nov 12, 2020
@malukenho malukenho added this to the 0.1.5 milestone Nov 12, 2020
@EHER EHER changed the base branch from master to 0.1.x November 13, 2020 03:06
Signed-off-by: Jefersson Nathan <malukenho.dev@gmail.com>
@EHER EHER force-pushed the psalm-remove-ignored-file branch from 2d6fb9e to c002279 Compare November 13, 2020 03:24
@EHER EHER merged commit 4885f51 into 0.1.x Nov 13, 2020
@EHER EHER deleted the psalm-remove-ignored-file branch November 13, 2020 03:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

3 participants