History | View | Annotate | Download (8.3 kB)
shd: changed name from xmini to smini in GR interface; needs to be matched in the s-mini firmware.