Index of /wesnoth/src/preferences

	Name	Last modified	Size	Description
	Parent Directory		-
	credentials.hpp	2018-08-28 20:58	884
	display.hpp	2018-08-28 20:58	1.0K
	lobby.hpp	2018-08-28 20:58	1.1K
	editor.hpp	2018-08-28 20:58	1.5K
	lobby.cpp	2018-08-28 20:58	1.8K
	editor.cpp	2018-08-28 20:58	3.7K
	display.cpp	2018-08-28 20:58	4.2K
	general.hpp	2018-08-28 20:58	6.0K
	game.hpp	2018-08-28 20:58	7.3K
	credentials.cpp	2018-08-28 20:58	9.9K
	general.cpp	2018-08-28 20:58	18K
	game.cpp	2018-08-28 20:58	23K