new config
-- Git-author: Jocelyn FIAT <jfiat@...(none)> -- Git-id: 48528cc4b36eeb1496e0bb9af4a0eea3d10d6581
Authored by: jocelyn_fiat 1970-01-01
Parent: [r11]
Child: [r13]