Define which distribution server you want to use.<br>None: to disable updates and installs.<br>Production: <font color="#CC0000">Recommended choice</font>. <br>Beta: to get latest beta releases.<br>Dev: <i>Not recommended, only use if advised by developers</i>.<br>