Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / debugger / settings / generic / 
tree7711e862ae2d8ac62ae2fe732671691fa4cc0ece
drwxr-xr-x   ..
-rw-r--r-- 5611 Setting.h
-rw-r--r-- 1660 Settings.h
-rw-r--r-- 680 SettingsDescription.h