diff options
Diffstat (limited to 'DEVELOPER_GUIDE.txt')
| -rw-r--r-- | DEVELOPER_GUIDE.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DEVELOPER_GUIDE.txt b/DEVELOPER_GUIDE.txt index 5869257..b878a72 100644 --- a/DEVELOPER_GUIDE.txt +++ b/DEVELOPER_GUIDE.txt @@ -38,3 +38,4 @@ We strongly suggest well polished PRs, but don't want to stall improvements by discussions about minor flaws. As long as the PR does not break anything and improves the product, we should merge it, polishing remaining things afterwards. +On OSX `brew install coreutils` to have gdate and get nanosecond timings during bash script. |