diff options
| author | dimitri staessens <[email protected]> | 2017-10-14 11:32:22 +0000 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2017-10-14 11:32:22 +0000 |
| commit | bf1602c915dee8bd6cbb69aba1fe88619b9c0eed (patch) | |
| tree | 8c93fcb67d61ca40b060f9c9ea1b62389f247dbd /CONTRIBUTORS | |
| parent | 1888c137a8ff315bc549c16740aa727da8c666f5 (diff) | |
| parent | bedd1d4eadde9ab64f924c69eba716b015599e67 (diff) | |
| download | ouroboros-bf1602c915dee8bd6cbb69aba1fe88619b9c0eed.tar.gz ouroboros-bf1602c915dee8bd6cbb69aba1fe88619b9c0eed.zip | |
Merged in dstaesse/ouroboros/be-deprecate-ouroboros-init-fini (pull request #626)
Be deprecate ouroboros init fini
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index eeff71ad..dbe6bde8 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -1,5 +1,5 @@ This file contains a list of people who have made large contributions to Ouroboros, in alphabetical order. -Dimitri Staessens <[email protected]> -Sander Vrijders <[email protected]> +Dimitri Staessens <[email protected]> +Sander Vrijders <[email protected]> |