2017-03-11 22:31:31 +00:00
|
|
|
gtk_deprecated_sources = files([])
|
2016-09-26 10:51:17 +00:00
|
|
|
|
2017-03-11 22:31:31 +00:00
|
|
|
gtk_deprecated_headers = files([])
|
2017-03-20 16:24:12 +00:00
|
|
|
|
|
|
|
|
install_headers(gtk_deprecated_headers, subdir: 'gtk-4.0/gtk/deprecated/')
|
