/dev-util/gnome-builder/files/

• ../
• 3.24.2-jedi-fixes-1.patch
• 3.24.2-jedi-fixes-2.patch
• 3.24.2-jedi-fixes-3.patch