wp/xed
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

removing unused gedit logo

Browse Source
This commit is contained in:
Perberos
2011-11-07 22:27:36 -03:00
parent e27c237301
commit 49a92964b8
2 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
win32/build-installer.sh
View File

@@ -225,8 +225,6 @@ cp "${_pluma_prefix}/share/pluma/ui/"* installer/pluma/share/pluma/ui || exit
#Icons & logo
mkdir -p installer/pluma/share/pluma/icons || exit
cp "${_pluma_prefix}/share/pluma/icons/pluma-plugin.png" installer/pluma/share/pluma/icons || exit
mkdir -p installer/pluma/share/pluma/logo || exit
cp "${_pluma_prefix}/share/pluma/logo/pluma-logo.png" installer/pluma/share/pluma/logo || exit
#Plugins
mkdir -p installer/pluma/share/pluma/plugins || exit