LyX wiki - modified files

[Apache]

Difference of file listing:
55c55
< 2015-11-19 03:12  4096      uploads/Playground
---
> 2015-09-14 14:47  4096      uploads/Playground
60d59
< 2015-11-19 03:12  426539    
uploads/Playground/JML-get_rid_of_some_hardcoded_pixel_lengths.png