b5ddebed8f
Conversion automatique de PNG en JPEG lorsque cela fait gagner suffisamment d'espace (le cas échéant, les fichiers markdown sont modifiés avec le nouveau nom de fichier) Réduction automatique de la résolution selon l'espace occupé sur la page Recompression des JPEG lorsque cela fait gagner de l'espace
17 lines
366 B
XML
17 lines
366 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<projectDescription>
|
|
<name>sphinx-tools</name>
|
|
<comment></comment>
|
|
<projects>
|
|
</projects>
|
|
<buildSpec>
|
|
<buildCommand>
|
|
<name>org.python.pydev.PyDevBuilder</name>
|
|
<arguments>
|
|
</arguments>
|
|
</buildCommand>
|
|
</buildSpec>
|
|
<natures>
|
|
<nature>org.python.pydev.pythonNature</nature>
|
|
</natures>
|
|
</projectDescription>
|