darcs patch: Update to API change: LayoutClass.decoration change it...
30 Jan
2008
30 Jan
'08
6:58 a.m.
Hi, this is the follow up of my previous patch to change LayoutClass.decoration type. To be applied together. Thanks, Andrea Wed Jan 30 07:48:29 CET 2008 Andrea Rossato <andrea.rossato@unibz.it> * Update to API change: LayoutClass.decoration change its type
6737
Age (days ago)
6738
Last active (days ago)
1 comments
1 participants
participants (1)
-
Andrea Rossato