diff src/ghostwriter.inc @ 353:573f2251cf49

NEW: Quit Simulator automatically when starting a real dive
author heinrichsweikamp
date Tue, 28 Jul 2015 16:32:55 +0200
parents 11d4fc797f74
children b455b31ce022
line wrap: on
line diff