Skip to content
Commit 12b366b8 authored by Christian Hergert's avatar Christian Hergert 💬
Browse files

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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment