Pull-Requests
pull
Docs: Adds development guidelines about Scripts shebang to developer-notes.md.
#14846
vim88 on November 29, 2018 Docs
vim88 on November 29, 2018 Docs
pull
Scripts and tools: Use #!/usr/bin/env bash instead of #!/bin/bash.
#14831
vim88 on November 28, 2018 RefactoringScripts and tools
vim88 on November 28, 2018 RefactoringScripts and tools
Issues
---