diff src/ports.inc @ 518:72f6cb65ca4a

BUGFIX: Do not check ppO2 for disabled gases
author heinrichsweikamp
date Thu, 03 Aug 2017 17:17:25 +0200
parents 4b93354b7738
children b7eb98dbd800
line wrap: on
line diff