diff options
| author | Andreas Abraham <andreas.abraham@iaik.tugraz.at> | 2017-05-04 23:53:42 -0700 |
|---|---|---|
| committer | Andreas Abraham <andreas.abraham@iaik.tugraz.at> | 2017-05-04 23:53:42 -0700 |
| commit | 8107921b3fef3970b553550243c3f83cf6e8ba27 (patch) | |
| tree | 05dea7468f7f76d77ea3440a493ab6128420c142 /pdf-over-gui/.settings/org.eclipse.jdt.ui.prefs | |
| parent | 476a0608174240f0c728f26065883e8d5776a980 (diff) | |
| download | pdf-over-8107921b3fef3970b553550243c3f83cf6e8ba27.tar.gz pdf-over-8107921b3fef3970b553550243c3f83cf6e8ba27.tar.bz2 pdf-over-8107921b3fef3970b553550243c3f83cf6e8ba27.zip | |
[maven-release-plugin] prepare for next development iteration
Diffstat (limited to 'pdf-over-gui/.settings/org.eclipse.jdt.ui.prefs')
0 files changed, 0 insertions, 0 deletions