tools Directory Reference

Directory dependency graph for tools:

Files
	atomic_names.cpp
	Convert an atomic name file to C++.
	build_file_of_options.cpp
	build-file-of-options tool.
	edit_config.cpp
	Tool used to edit configuration files from the command line.
	hide_warnings.cpp
	Tool used to hide "Gtk-warning" messages from terminal.