Removed the handling of the -- option, as it seems to be standard in getopt.
[selector.git] / .gitignore
2009-03-16 Olivier BornetIgnore generated files, and vi backups