Revision 2d694f729cfa30f307662a8a65c8b79657535334

Committed on 20/12/2012 8:05 am by Massi <massimiliano.pasquesi@openwide.fr> [GitHub Diff]

substitution of gedit by vim for text-editor