|
data
|
Import the newer scripts from DeforaOS configure
|
2020-11-19 03:18:22 +01:00 |
|
include
|
Also implement gwidget_hide()
|
2020-04-12 09:04:03 +02:00 |
|
src
|
Also implement gwidget_hide()
|
2020-04-12 09:04:03 +02:00 |
|
tests
|
Import the newer scripts from DeforaOS configure
|
2020-11-19 03:18:22 +01:00 |
|
tools
|
Introduce a weak notion of inheritance
|
2020-04-12 08:07:15 +02:00 |
|
.gitignore
|
Register the two latest new targets
|
2020-04-11 05:28:09 +02:00 |
|
COPYING
|
Set the copyright and license information
|
2020-04-12 04:41:56 +02:00 |
