VIATRA-Generator icon indicating copy to clipboard operation
VIATRA-Generator copied to clipboard

Published 20 hours ago • verified publisher icon viatra

VAMPIRE: Remove unnecessary files from remote repository

Open ArenBabikian opened this issue 5 years ago • 1 comments

Remove files such as .xtend-gen.

ArenBabikian avatar Apr 01 '19 18:04 ArenBabikian