diff options
author | Jonas Smedegaard <dr@jones.dk> | 2021-06-04 15:17:08 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2021-06-04 15:20:47 +0200 |
commit | 1aa84a363e202db018139b10b4eac01950d231ab (patch) | |
tree | a07a0c69f4801b7aff12c6270cea26a685da9c2d /lib/user@source.redpill.dk:source-hosting | |
parent | 0267fd5e85fcd9e0b1e85017c7da1e1da1425d42 (diff) |
use inline defined hints, and fix distinguish gitshellhost from githost
Diffstat (limited to 'lib/user@source.redpill.dk:source-hosting')
0 files changed, 0 insertions, 0 deletions