1. 28 Mar, 2018 1 commit
    • Guido Gunther's avatar
      README: make copy and paste simple · 3dbb9635
      Guido Gunther authored
      Drop the $ signs in front of each command since this makes it
      harder to copy paste.
      
      Also fix the directory name and drop the unneeded directory creation.
      3dbb9635
  2. 31 Jan, 2018 1 commit
  3. 30 Jan, 2018 2 commits