Skip to content
Snippets Groups Projects
Commit d293ff51 authored by Jö Fahlke's avatar Jö Fahlke
Browse files

[!72] [base] Remove verbose-git-status script.

Merge branch 'kill-verbose-git-status' into 'master'

This is no longer used and has been emitting deprecation messages for a while.

Closes: [#31]

See merge request [joe/pacxx-docker!72]

  [#31]: gitlab.dune-project.org/joe/pacxx-docker/issues/31
  [joe/pacxx-docker!72]: gitlab.dune-project.org/joe/pacxx-docker/merge_requests/72


Closes #31
parents 73622fa9 ee2468bd
No related branches found
No related tags found
1 merge request!72[base] Remove verbose-git-status script.
Pipeline #12856 passed