search

atlarge-research / opencraft

Other
4 stars 2 forks source link

Remove redundant scripts - [merged] #187

Closed jdonkervliet closed 4 years ago

jdonkervliet commented 4 years ago

In GitLab by @swabbur on Jun 19, 2020, 19:56

Merges feature/remove-scripts -> development

Removes the old scripts and their instructions.

jdonkervliet commented 4 years ago

In GitLab by @JimVliet on Jun 20, 2020, 10:32

merged

jdonkervliet commented 4 years ago

In GitLab by @JimVliet on Jun 20, 2020, 10:32

mentioned in commit e5ff1b1c09cb3f19119d0c22e480ca303234fcd3