added gitignore file to prevent checkin of eclipse preferences
Authored by: grether 2013-02-12
Parent: [r23020]
Child: [r23022]