Revision e0732b36
ID | e0732b3627ef9dbdedad6545ef2713f78b977293 |
Parent | 1c2d87fc |
Child | e994fcba |
Remove support for Pickle configuration files
Reviewed-by: iustinp
Files
- added
- modified
- copied
- renamed
- deleted
ID | e0732b3627ef9dbdedad6545ef2713f78b977293 |
Parent | 1c2d87fc |
Child | e994fcba |
Added by Michael Hanselmann about 16 years ago
Remove support for Pickle configuration files
Reviewed-by: iustinp