diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-09-21 18:23:46 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-09-21 18:53:44 +0200 |
| commit | 921cd18cf98ecfc1f7fa82f57d64f1b1f9077e64 (patch) | |
| tree | dfd7fea5be54c6020ed6773fbdefbaeb5cd2a78e /util/lamport/lamport.go | |
| parent | 82eaceffc1d750832a2a66f206749d2dca968cce (diff) | |
| download | git-bug-921cd18cf98ecfc1f7fa82f57d64f1b1f9077e64.tar.gz | |
bridge: better interfaces, working github configurator
Diffstat (limited to 'util/lamport/lamport.go')
0 files changed, 0 insertions, 0 deletions