1. 28 Jun, 2013 1 commit
  2. 21 Jun, 2013 4 commits
  3. 20 Jun, 2013 1 commit
    • Ilias Tsitsimpis's avatar
      Replace rstrip with re.sub · 382414fe
      Ilias Tsitsimpis authored
      With rstrip we specify a set of characters to be removed.
      We want to remove a substring hence the use of re.sub.
      (rstrip produces wrong results in many cases)
      382414fe
  4. 19 Jun, 2013 1 commit
    • Ilias Tsitsimpis's avatar
      Replace rstrip with re.sub · 18a2af6d
      Ilias Tsitsimpis authored
      With rstrip we specify a set of characters to be removed.
      We want to remove a substring hence the use of re.sub.
      (rstrip produces wrong results in many cases)
      18a2af6d
  5. 05 Jun, 2013 2 commits
  6. 08 Apr, 2013 1 commit
  7. 02 Apr, 2013 5 commits
  8. 01 Apr, 2013 4 commits
  9. 29 Mar, 2013 1 commit