diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-02-11 12:52:26 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-02-11 12:52:26 +0100 |
| commit | 7d368400719672e16ff83a436a0dcc6dff8026c4 (patch) | |
| tree | 8ed1b9566cad4853529efe1b4a67d7fb4b0bc82a /HelloLib/Library.fs | |
| parent | a24a94ef6ebc6b025cf3ceb8439e9504d7c08352 (diff) | |
Adjust garbage collection configuration.
This adjusts the runtime GC settings to the proper settings for server
applications.
Diffstat (limited to 'HelloLib/Library.fs')
0 files changed, 0 insertions, 0 deletions