diff .hgtags @ 824:6cb5518e74d2

NEW: Quit Simulator automatically when starting a real dive
author heinrichsweikamp
date Wed, 29 Jul 2015 19:22:50 +0200
parents 1d53f10b51ac
children
line wrap: on
line diff