diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 21:49:21 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 21:49:26 -0700 |
| commit | 924253f1a5b8cdaa3ab301d752b9bdf855d6a0f9 (patch) | |
| tree | 13c80e502e85947c2b5267b921a67eb5b5a99ff6 /git_log_filtered | |
| parent | 6ff112a15d213bb955195e488aaa7384dcf9049e (diff) | |
| download | mu-924253f1a5b8cdaa3ab301d752b9bdf855d6a0f9.tar.gz | |
3455
Diffstat (limited to 'git_log_filtered')
| -rwxr-xr-x | git_log_filtered | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_log_filtered b/git_log_filtered index e896cabd..b17cd3bf 100755 --- a/git_log_filtered +++ b/git_log_filtered @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Show the log while skipping unimportant directories. # # I usually run this through an alias local to this repo: |