• Michael Stahl's avatar
    fix previous commit: · 96938bd0
    Michael Stahl yazdı
    boost::ptr_vector::erase() will delete the element, but fortunately there
    is a transfer() method that can be used here.
    96938bd0
Adı
Son kayıt (commit)
Son güncelleme
..
actctrl.cxx Loading commit data...
popbox.cxx Loading commit data...
swlbox.cxx Loading commit data...