Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Privacy
Imprint
Contact
Sign in
Toggle navigation
Menu
projects.thm.de
GitLab FOSS
Repository
gitlab
doc
development
doc_styleguide.md
Find file
Blame
History
Permalink
Use `git grep` instead of `grep`
· d30d9928
Achilleas Pipinellis
authored
Aug 29, 2016
[ci skip]
d30d9928