Revision 78231291
| ID | 78231291b35b9831721737bed548d97faedf9c06 |
| Parent | 44bde093 |
| Child | d954afc3 |
rename setup-ant.sh to setup-ant to match other GP projects
Files
- added
- modified
- copied
- renamed
- deleted
- jenkins-build (diff)
- setup-ant
- setup-ant.sh
| ID | 78231291b35b9831721737bed548d97faedf9c06 |
| Parent | 44bde093 |
| Child | d954afc3 |
Added by Hans-Christoph Steiner about 2 years ago
rename setup-ant.sh to setup-ant to match other GP projects