diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-20 11:26:52 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-20 11:26:52 +0300 |
| commit | 698f8a9414180fc1243de799126dcbb57c86592a (patch) | |
| tree | ffaa42903863aa81b531ee0adac0a8e39367b6d3 | |
| parent | 6afaf0a27a5b9429c74fcbfb505a6d047a0c5d94 (diff) | |
| parent | 3cdb8b8cf57d6ccfd215d0170c2b616340719d86 (diff) | |
| download | egawk-698f8a9414180fc1243de799126dcbb57c86592a.tar.gz egawk-698f8a9414180fc1243de799126dcbb57c86592a.tar.bz2 egawk-698f8a9414180fc1243de799126dcbb57c86592a.zip | |
Merge branch 'gawk-4.1-stable'
| -rw-r--r-- | README.git | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -355,7 +355,7 @@ Otherwise, use `git merge'. remote repo? Either - git fetch --prume + git fetch --prune or git remote prune origin |