diff options
author | Geert Uytterhoeven <geert+renesas@glider.be> | 2020-03-16 10:24:17 +0100 |
---|---|---|
committer | Geert Uytterhoeven <geert+renesas@glider.be> | 2020-03-16 15:05:06 +0100 |
commit | 289a478770207ab1c9cc16d8713eb70ffdb7fb80 (patch) | |
tree | e3c0f0a8f9faab65a9e91046f1261815acc220cb /scripts/html_member.py | |
parent | 1a43a66986f91df9f0d0a2377394deab74422fb5 (diff) |
farm: magnus: Add ssh config file
Add all known entries for management hosts in Magnus' farm.
This includes the sever for documents under NDA.
Note: some entries may be stale.
Signed-off-by: Geert Uytterhoeven <geert+renesas@glider.be>
Diffstat (limited to 'scripts/html_member.py')
0 files changed, 0 insertions, 0 deletions