Timotei Dolean 02315e66ed eclipse plugin: Update the User's Manual		2012-07-29 21:01:05 +00:00
..
definitions.png	eclipse plugin: Move readme to a better place	2011-06-25 16:35:02 +00:00
dev_manual.tex	eclipse plugin: Fix some typos in the documentation	2012-07-01 12:16:37 +00:00
install_new_software.png	eclipse plugin: Update the user's manual to reflect the current state	2011-06-25 19:58:36 +00:00
launch_plugin.png	applied utils/wesnoth-optipng	2011-07-09 08:26:43 +00:00
user_manual.tex	eclipse plugin: Update the User's Manual	2012-07-29 21:01:05 +00:00