Skip to content
  • Sébastien Wilmet's avatar
    Build tools: fix crash on unkwown post processor · e0d29377
    Sébastien Wilmet authored
    The problem was due to the rubber post processor which has been removed.
    Now we can see a warning instead of a crash:
    
    ** (latexila:15225): WARNING **: build_tools.vala:179: Impossible to
    load build tools: unknown post processor "rubber"
    e0d29377