phunix/releasetools
Kees Jongenburger 372247712a build:check if .settings file is a file.
Check if the .settings entry is a file and not a directory. Eclipse
as we found out also likes creating .settings directories.

Change-Id: I3cbcaa7aa9e5dfb3d51c6c71df7fd72079fe213e
2014-07-28 17:05:21 +02:00
..
2014-03-01 09:05:02 +01:00
2014-07-28 17:05:20 +02:00
2014-02-18 11:25:02 +01:00