![[Jenkins]](/ci/static/5d841056/images/svgs/logo.svg){kind=logo}
Summary
- some changes made! yeah! (details)
| The file was modified | info.textgrid.lab.sadepublish/src/info/textgrid/lab/sadepublish/preferences/PluginPreferencePageInitializer.java (diff) |
| The file was modified | pom.xml (diff) |
| The file was modified | info.textgrid.lab.sadepublish/src/info/textgrid/lab/sadepublish/tester/IsPublishableObject.java (diff) |
| The file was modified | info.textgrid.lab.sadepublish/src/info/textgrid/lab/sadepublish/preferences/PluginPreferencePage.java (diff) |
| The file was added | .gitignore (diff) |
| The file was modified | info.textgrid.lab.sadepublish/src/info/textgrid/lab/sadepublish/views/SadePublishView.java (diff) |