web/data/cubicweb.preferences.js
changeset 8179 e52a084e955c
parent 7667 600b407ae5c0
child 8185 864fc1f147a4
equal deleted inserted replaced
8172:77aa753dcd6b 8179:e52a084e955c