diff options
| author | Pierre Courtieu | 2017-01-26 11:32:46 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2017-01-26 11:32:46 +0100 |
| commit | cf290f2da6513c42ad57620136c7e6b6cebf8e11 (patch) | |
| tree | b1114d17e8c507bae32520851b468d1ac4770232 /etc | |
| parent | c6e44de22de8dfe7a5c9521201937a8302ec12c9 (diff) | |
| parent | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG into master_origin
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/desktop/icons/128x128/proofgeneral.png | bin | 0 -> 14117 bytes |
| -rw-r--r-- | etc/desktop/icons/64x64/proofgeneral.png | bin | 0 -> 5045 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/etc/desktop/icons/128x128/proofgeneral.png b/etc/desktop/icons/128x128/proofgeneral.png Binary files differnew file mode 100644 index 00000000..555e4a87 --- /dev/null +++ b/etc/desktop/icons/128x128/proofgeneral.png diff --git a/etc/desktop/icons/64x64/proofgeneral.png b/etc/desktop/icons/64x64/proofgeneral.png Binary files differnew file mode 100644 index 00000000..15492240 --- /dev/null +++ b/etc/desktop/icons/64x64/proofgeneral.png |
