comparison src/gaslist.inc @ 20:9b7dd3103545

minor cleanup
author heinrichsweikamp
date Wed, 03 Jul 2013 23:19:57 +0200
parents 11d4fc797f74
children afa31c815f24
comparison
equal deleted inserted replaced
19:06e19a880df6 20:9b7dd3103545