change dev.txt
Merge pull request #2 from TimotheBarbe/dev

change dev.txt