1. 04 Apr, 2019 1 commit
  2. 25 Feb, 2019 2 commits
  3. 18 Feb, 2019 1 commit
  4. 15 Jan, 2019 1 commit
    • Sebastian Graf's avatar
      Make `git clean -nxd` silent after `make distclean` · cc8fc601
      Sebastian Graf authored
      Also check that invariant in CI: After a `make distclean`
      `git clean -nxd` should find no files.
      
      The hope is that this catches cases were a `make clean` would forget to
      list a `.gitignore`d file that should either be registered as a
      `(DIST_)CLEAN_FILES` or should be unignored and committed into the
      repository.
      cc8fc601
  5. 01 Jan, 2019 1 commit