« Previous | Next » 

Revision dd3f91f0

ID: dd3f91f058000ef43fa6ce19c5efa75c5dfd70c8
Added by Luc Maisonobe about 3 years ago

added forgotten serializable.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences