Skip to content

Commit

Permalink
Various updates to documentation
Browse files Browse the repository at this point in the history 
$ECHO replaced by echo in defnition of check_status (proposed by Aaron Mahler)
  • Loading branch information
@giannozz
giannozz committed Apr 25, 2018
1 parent 3b1d3d5 commit e12c836
Show file tree
Hide file tree
Showing 4 changed files with 1,193 additions and 1,181 deletions.
Loading

0 comments on commit e12c836

Please sign in to comment.