diff options
| author | Jakob Unterwurzacher | 2016-10-30 16:10:40 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-30 16:17:00 +0100 |
| commit | c7385b3681248d5935743c007d17fda724cc142f (patch) | |
| tree | a9bc57758aa553d3acd3d194138cd6a6da4c5067 /Documentation/MANPAGE-render.bash | |
| parent | 85f1fd0b0f16ea47e038584e7ff53894d508604a (diff) | |
build.bash: abort if we hit a known-bad go-fuse version
Also, standardize to "if [[ ]] ; then" style.
Diffstat (limited to 'Documentation/MANPAGE-render.bash')
0 files changed, 0 insertions, 0 deletions