diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-02-05 19:23:59 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-02-05 19:23:59 +0100 |
| commit | a24a94ef6ebc6b025cf3ceb8439e9504d7c08352 (patch) | |
| tree | f0a80e663f4ad595a52f46c2eb812025b685f377 /HelloLib/Library.fs | |
| parent | eb16854d70637007422b16c79a5112e60bb1c8c0 (diff) | |
Use version 1.6.1 of Grpc.Tools.
This fixes the build in cases where Grpc.Tools 1.6.1 is not installed
on the build host already.
Diffstat (limited to 'HelloLib/Library.fs')
0 files changed, 0 insertions, 0 deletions