diff options
| author | sternenseemann <git@lukasepple.de> | 2017-02-18 14:10:59 +0100 |
|---|---|---|
| committer | sternenseemann <git@lukasepple.de> | 2017-02-18 14:10:59 +0100 |
| commit | 1cc5f0454348e5a9ed3dd7eeeb3e9c81a88a0146 (patch) | |
| tree | 901d5c25bb7310166f1bf6dd2992e48d310becbd | |
| parent | 84a3c76fb0f1f731a939dfa7abc3cb3e4affd621 (diff) | |
Correct pin target
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md index 1874b0f..69b708d 100644 --- a/README.md +++ b/README.md @@ -23,6 +23,6 @@ The 42nd day of the year. ## Installation & Usage ``` -opam pin add logbook https://gitlab.glaxx.net/sternenseemann/logbook.git +opam pin add logbook https://github.com/sternenseemann/logbook.git logbook --file example.log [ --private | --public | --semi-private ] ``` |