diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-11 22:11:58 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-11 22:11:58 -0700 |
commit | a03a6e4fa29add1b84a2376e7980f3d270ef10c3 (patch) | |
tree | 373d3b7439c4b18d15d98a801cbfef26549f00db | |
parent | ee36db40767ef9c6d06d09c572280503995618d8 (diff) | |
download | mu-a03a6e4fa29add1b84a2376e7980f3d270ef10c3.tar.gz |
3494
-rwxr-xr-x | relayout | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/relayout b/relayout index 14d95f99..bfcb8011 100755 --- a/relayout +++ b/relayout @@ -3,9 +3,7 @@ # create room between 023 and 024, and so on. # # Assumes there's only ever one file with any numeric prefix. If you move -# 003trace.tests you might need to do some manual patch-up. - -setopt extendedglob +# 003trace.test.cc you might need to do some manual patch-up. if [[ $# -eq 0 && `git diff HEAD |wc -l` -gt 0 ]] then |