diff options
| -rwxr-xr-x | bin/emaint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/emaint b/bin/emaint index 7f991d9b0..b48d417c3 100755 --- a/bin/emaint +++ b/bin/emaint @@ -109,3 +109,4 @@ for task in tasks: print "\n".join(result) print "\n" +print "Finished" |