diff options
| author | Emilio Jesus Gallego Arias | 2020-05-01 08:48:57 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-01 08:48:57 +0200 |
| commit | 6a021782f391b8c4829207138a5fbe119a8bd683 (patch) | |
| tree | 04e0f9608d492eb8b4796142e183f0ba99387eb8 /doc/plugin_tutorial/tuto2 | |
| parent | 8287516a003d97852e57e9dc64cde812aec0f10f (diff) | |
| parent | c0f221a77d0d42f6e8190c92b995b6f38fb53856 (diff) | |
Merge PR #12222: Less confusing configure message when lablgtk exists but not lablgtksourceview
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions