Closed valeriocos closed 5 years ago
This PR addresses #56, thus it modifies the command used to checkout of a commit by adding the option -f, which throws away local changes.
-f
Graal version is set to 0.4.1
Thanks @inishchith
This PR addresses #56, thus it modifies the command used to checkout of a commit by adding the option
-f
, which throws away local changes.Graal version is set to 0.4.1