# HG changeset patch # User unc0rr # Date 1242927686 0 # Node ID 025507838f1d28c8b8d9d8c9e2588e9cfa762aac # Parent 6d29370dc0dd70abe99ab92fd688aa404b851c6f Fix City theme (could cause desyncs) diff -r 6d29370dc0dd -r 025507838f1d share/hedgewars/Data/Themes/City/CMakeLists.txt --- a/share/hedgewars/Data/Themes/City/CMakeLists.txt Wed May 20 16:43:19 2009 +0000 +++ b/share/hedgewars/Data/Themes/City/CMakeLists.txt Thu May 21 17:41:26 2009 +0000 @@ -1,6 +1,7 @@ install(FILES Border.png Flake.png + Girder.png horizont.png icon.png LandTex.png