Merge pull request #6 from gregrgay/master

[atutor.git] / themes / default16 / images / tree / tree_vertline.gif

diff --git a/docs/themes/default16/images/tree/tree_vertline.gif b/themes/default16/images/tree/tree_vertline.gif
similarity index 100%
rename from docs/themes/default16/images/tree/tree_vertline.gif
rename to themes/default16/images/tree/tree_vertline.gif