Skip to content

Comments

Delete grip.xml#950

Merged
SamCarlberg merged 1 commit intomasterfrom
JLLeitschuh-patch-2
May 19, 2019
Merged

Delete grip.xml#950
SamCarlberg merged 1 commit intomasterfrom
JLLeitschuh-patch-2

Conversation

@JLLeitschuh
Copy link
Member

This isn't used, and the file is empty.

This isn't used, and the file is empty.
@JLLeitschuh JLLeitschuh requested a review from SamCarlberg May 17, 2019 16:12
@SamCarlberg SamCarlberg merged commit 5a8e1b4 into master May 19, 2019
@SamCarlberg SamCarlberg deleted the JLLeitschuh-patch-2 branch May 19, 2019 17:18
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.

3 participants