Archived
1
0

Merge branch 'release/v0.2.5' into develop

This commit is contained in:
Jip J. Dekker 2014-04-23 16:09:41 +02:00
commit 5fef9937cb

View File

@ -79,7 +79,7 @@ def search(docopt_arguments, source_loader):
if __name__ == '__main__': if __name__ == '__main__':
arguments = docopt.docopt(__doc__, version='Fourmi - V0.1.0') arguments = docopt.docopt(__doc__, version='Fourmi - V0.2.5')
loader = SourceLoader() loader = SourceLoader()
if arguments["--include"]: if arguments["--include"]: