1. 25 Feb, 2019 1 commit
  2. 18 Feb, 2019 1 commit
  3. 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
  4. 01 Jan, 2019 1 commit