tree cf41cf7a8ffa8b21e031b9e28e75aaf4ca0126e7
parent 4ccd5cb5c69a86b3c59edcc345b9f19807ca37aa
author Lucas De Marchi <lucas.de.marchi@gmail.com> 1317306484 -0300
committer Lucas De Marchi <lucas.de.marchi@gmail.com> 1317306484 -0300

TODO: remove unneeded task

It's perfectly fine to use the new --skip option and give it
"cscope.out" as parameter. If there are big files in source tree in
general we will know their names in advance.