switch back devbranch to dev in deploydocs #159

Closed jojal5 closed 3 weeks ago