Historique des commits

Auteur SHA1 Message Date
  StalderT b4a72aad61 fix #1504 il y a 6 ans
  StalderT adc585f814 fix travis push (#1504) il y a 6 ans
  Stefan Profanter 00dc914bb6 Pull before push to avoid race conditions to other builds il y a 7 ans
  Julius Pfrommer 02746b7625 do not push in PR from forks il y a 7 ans
  Julius Pfrommer a092e67f93 improve travis scripts il y a 7 ans
  Julius Pfrommer 4fa7545db1 fix travis nightly builds il y a 7 ans
  Julius Pfrommer 6e209a35b7 add pdf doc to nightly releases il y a 8 ans
  Julius Pfrommer 70ca2b0a2e fix pushing nightly builds by travis; use coverity on 0.2 branch il y a 8 ans
  Stefan Profanter fa81007bb4 Fix after_success scripts (#809) il y a 8 ans
  Stasik0 be089238b1 one more post-deploy fix il y a 8 ans
  Julius Pfrommer f45d6faf85 Overlayable (#582) il y a 8 ans