log src/gaslist.inc @ 177:67db1f6d3787

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