On Thu, Feb 10, 2011 at 7:00 PM, Thomas Martitz < thomas.martitz@student.htw-berlin.de> wrote:
The extension is .geany. I was lucky back then that I guessed .geany as it was actually the one I was looking for :)
Thanks for that :).
That was my guess as well, but i was too annoyed by being forced to guess to actually try it out. :/