Merge #316 `Python Classroom: Replace ninja-ide with mu and thonny`

This commit is contained in:
Peter Robinson 2018-09-21 17:54:04 +00:00
commit a604ff6b09
2 changed files with 4 additions and 2 deletions

View File

@ -5228,7 +5228,8 @@
<default>false</default>
<uservisible>true</uservisible>
<packagelist>
<packagereq type="conditional" requires="xorg-x11-server-Xorg">ninja-ide</packagereq>
<packagereq type="conditional" requires="xorg-x11-server-Xorg">mu</packagereq>
<packagereq type="conditional" requires="xorg-x11-server-Xorg">thonny</packagereq>
<packagereq type="default">bash-completion</packagereq>
<packagereq type="default">bzip2</packagereq>
<packagereq type="default">curl</packagereq>

View File

@ -5228,7 +5228,8 @@
<default>false</default>
<uservisible>true</uservisible>
<packagelist>
<packagereq type="conditional" requires="xorg-x11-server-Xorg">ninja-ide</packagereq>
<packagereq type="conditional" requires="xorg-x11-server-Xorg">mu</packagereq>
<packagereq type="conditional" requires="xorg-x11-server-Xorg">thonny</packagereq>
<packagereq type="default">bash-completion</packagereq>
<packagereq type="default">bzip2</packagereq>
<packagereq type="default">curl</packagereq>