web/data/cubicweb.preferences.js
changeset 8027 9ac82788f67b
parent 7667 600b407ae5c0
child 8185 864fc1f147a4
equal deleted inserted replaced
8026:98222e3bb804 8027:9ac82788f67b