wok-current view granite/description.txt @ rev 21835

updated re2c (0.13.5 -> 1.2.1)
author Hans-G?nter Theisgen
date Sat Sep 14 10:21:53 2019 +0100 (2019-09-14)
parents
children
line source
1 Granite is an extension of GTK. Among other things, it provides the
2 commonly-used widgets such as modeswitchers, welcome screens, AppMenus, search
3 bars, and more found in elementary apps.