adg: cosmetic remove of double ;;
commit4eac0d905a7ba8f710e5ab0e1a97b95d3cfc6d60
authorNicola Fontana <ntd@entidi.it>
Tue, 26 Mar 2019 08:03:20 +0000 (26 09:03 +0100)
committerNicola Fontana <ntd@entidi.it>
Tue, 26 Mar 2019 08:03:20 +0000 (26 09:03 +0100)
tree29e8cc5ee7ee9abc22d8112eab0f7d0696d4597c
parent5d7232049ab1ffb9d1c5040fcb2f633fefcaef9b
adg: cosmetic remove of double ;;
src/adg/adg-gtk-area.c
src/adg/adg-text.c