tree c0f216eaac95a6e6fc37664a5ed934461d9fb305
parent 570f7598ebf2e2107ac9976d4d9def22072c5b02
author paul <paul> 1043477769 +0000
committer paul <paul> 1043477769 +0000

Small fix (free integrate_sav) and addition of an ssh command.