diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-01 13:52:34 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-01 13:52:34 +0100 |
| commit | 9b688d7cb096a3a8cd30d57384eb00eb5c42b4c5 (patch) | |
| tree | e2bc34495061525adeca128d6edc4309cd713b7e /src/util/os_installation.c | |
| parent | 9ec23c6239a9c6719e69f01895341d34013472ea (diff) | |
scope reduction, commenting
Diffstat (limited to 'src/util/os_installation.c')
0 files changed, 0 insertions, 0 deletions