diff frontends/src/primitivus/profile_manager.py @ 392:20f11097d99b

memory: general param default value fix
author Goffi <goffi@goffi.org>
date Thu, 29 Sep 2011 15:13:54 +0200
parents b1794cbb88e5
children dd4caab17008
line wrap: on
line diff