update devl.txt