| commit | dcf108ff54469e2afa21b18b67f9b3ae35e067c6 | [log] [tgz] |
|---|---|---|
| author | Christopher Gerking <christopher.gerking@kit.edu> | Thu Feb 18 11:25:02 2021 +0100 |
| committer | Ed Willink <ed@willink.me.uk> | Thu Feb 18 12:56:50 2021 +0000 |
| tree | 8f54243ead7639e7ebcb1240141b830f9608d8f8 | |
| parent | 0160117b12951021445c379ff70947f81667eaa0 [diff] |
[566230] Add expected completion proposals