doc: fixed latex error in dev guide
doc: fixed latex error in dev guide


gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs