Browse Source

Merge pull request #1106 from rafalp/fix-dev-comment

Update comment
Rafał Pitoń 6 years ago
parent
commit
b25104344d
1 changed files with 1 additions and 1 deletions
  1. 1 1
      dev

+ 1 - 1
dev

@@ -1,5 +1,5 @@
 #!/bin/bash
 #!/bin/bash
-# devctl is an utility script for automating some development tasks and actions.
+# "dev" is an utility script speeding up different development tasks and actions.
 # To find out what options are available, run it without any arguments.
 # To find out what options are available, run it without any arguments.
 
 
 # Text styles
 # Text styles