prefs_persistence_2 #603

Closed
jmplace wants to merge 3 commits from jmplace/ScoDoc-Lille:prefs_persistence_2 into master

3 Commits