[gtk-web: 2/2] Merge branch 'issue-17' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

commit dd6a4de3609bff81d7b6f716978f4c027ae20f05
Merge: e3923ba 9fa4da0
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Wed Feb 19 17:16:21 2020 +0000

    Merge branch 'issue-17' into 'master'
    
    Remove reference to gnome-builder from the monodevelop page
    
    Closes #17
    
    See merge request Infrastructure/gtk-web!26

 collections/_docs/mono-develop.md | 25 ++++---------------------
 1 file changed, 4 insertions(+), 21 deletions(-)
---