build: rename `ide' to `gnome-builder-cli'
We can suggest that users use a bash alias for the tool when updating documentation for 3.22. https://bugzilla.gnome.org/show_bug.cgi?id=767256
parent
1e25a1f0
Please register or sign in to comment
We can suggest that users use a bash alias for the tool when updating documentation for 3.22. https://bugzilla.gnome.org/show_bug.cgi?id=767256