log src/gaslist.inc @ 246:f345a55c92e0

age author description
2014-08-27 heinrichsweikamp NEW: Show ppO2 for change depth during gas setup
2013-04-24 heinrichsweikamp init