⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
EDIT
All Projects
EDIT
Overview
Activity
Roadmap
Issues
Gantt
Wiki
Repository
«
Previous
|
Next
»
Revision f1ae6ccd
Added by Patrick Plitzner
almost 4 years
ago
ID
f1ae6ccde4a12e8470566092777570b8d3c1fd96
Parent
a272cd08
Child
b11e5ce8
ref
#4227
Fix file deletion in setup-project.sh
Related issues
feature request #4227
: handle generated resources in eclipse workspace
Changes
View differences
added
modified
copied
renamed
deleted
setup-project.sh
(
diff
)
Loading...
ref #4227 Fix file deletion in setup-project.sh