log src/gaslist.inc @ 243:ee81f46714cb

age author description
Wed, 27 Aug 2014 17:38:21 +0200 heinrichsweikamp NEW: Show ppO2 for change depth during gas setup