Home Tags Live editing

Tag: live editing

GNOME Builder 3.24.1 brings live editing of Sphinx documentation

0
  The GNOME community has published the first maintenance update to GNOME 3.24 series. The major highlight of GNOME desktop 3.24.1 is the support for...