diff options
| author | Linus Nordberg <linus@nordberg.se> | 2015-04-25 05:43:29 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2015-04-25 05:43:29 +0200 |
| commit | f174a72d10037e2e6356fbee3f71ea124515d758 (patch) | |
| tree | 5c4019b35555dd8c1496542f7354ea43740da63b /examples/docker-minimal/docker/known_roots/086418E906CEE89C2353B6E27FBD9E7439F76316.pem | |
| parent | cbb556663d8706138efb85a4e011c9fca349d33e (diff) | |
[merge] Print current time after merge has finished.
Sometimes it's interesting to know how long time a merge took.
Diffstat (limited to 'examples/docker-minimal/docker/known_roots/086418E906CEE89C2353B6E27FBD9E7439F76316.pem')
0 files changed, 0 insertions, 0 deletions