WebSurf/frontends
Vincent Sanders 7fc0a4c481 move desktop window header into public API 2016-05-30 17:32:57 +01:00
..
amiga move desktop window header into public API 2016-05-30 17:32:57 +01:00
atari move desktop window header into public API 2016-05-30 17:32:57 +01:00
beos move desktop window header into public API 2016-05-30 17:32:57 +01:00
cocoa move desktop window header into public API 2016-05-30 17:32:57 +01:00
framebuffer move desktop window header into public API 2016-05-30 17:32:57 +01:00
gtk move desktop window header into public API 2016-05-30 17:32:57 +01:00
monkey move desktop window header into public API 2016-05-30 17:32:57 +01:00
riscos move desktop window header into public API 2016-05-30 17:32:57 +01:00
windows move desktop window header into public API 2016-05-30 17:32:57 +01:00
Makefile move frontends into sub directory 2016-05-15 13:44:34 +01:00