view .gitignore @ 18082:c3e7da9836bd stable

allow saving an editor file as the current one (bug #40759) * file-editor-tab.cc (handle_save_file_as_answer): just save the file if the selected file name is the same as the current file name (handle_save_file_as_answer_close): removed the case that the selected file name is the same as the current one because the latter is not valid here (message_duplicate_file_name): removed message since not needed anymore * file-editor-tab.h: removed message_duplicate_file_name
author Torsten <ttl@justmail.de>
date Thu, 05 Dec 2013 06:49:48 +0100
parents 5758e0013246
children
line wrap: on
line source

*~
*.user
*.o
*.a
Makefile*
*.pdb
debug/
release/