diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-17 23:08:43 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-17 23:08:48 -0700 |
| commit | ceb29321edef05b8416a72a1f396c683f0c6c831 (patch) | |
| tree | 7f10dd84b13bd7565d360d9c50087ed3279a9f4f | |
| parent | ba639f2bd05f47e08c12198b7b20cd4cf371b25f (diff) | |
Added shebang.
| -rw-r--r-- | tools/autoformat.nom | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/autoformat.nom b/tools/autoformat.nom index a755b09..6a117ec 100644 --- a/tools/autoformat.nom +++ b/tools/autoformat.nom @@ -1,3 +1,4 @@ +#!/usr/bin/env nomsu -V 2.2.4.3 use "core" use "lib/os.nom" |