doc/general: animated GIF are now compressed.
authorClément Bœsch <ubitux@gmail.com>
Fri, 19 Apr 2013 21:52:39 +0000 (23:52 +0200)
committerClément Bœsch <ubitux@gmail.com>
Fri, 19 Apr 2013 21:59:21 +0000 (23:59 +0200)
commit5927ebab513d2d42221cd75dbe491e58c5fb628a
tree44ebaf304d13626f6183cc9be9c9ccf5a1841f0c
parente1b35bdde2fc84de0435a1ab2d085452a0d5ad00
doc/general: animated GIF are now compressed.
doc/general.texi