diff loader/loader.h @ 34076:6a0bda5e63ac

Remove needless code. A filename for a stream will be provided by the GUI the same way as any other filename, so there is no need to get it all of a sudden from a playtree_iter.
author ib
date Fri, 30 Sep 2011 15:13:01 +0000
parents db0bb7511440
children
line wrap: on
line diff