Skip to content

Remove InputStreams using a subtrait of UserInput, allowing users to add their own input kinds #1634

Remove InputStreams using a subtrait of UserInput, allowing users to add their own input kinds

Remove InputStreams using a subtrait of UserInput, allowing users to add their own input kinds #1634

check-compiles

succeeded Aug 7, 2024 in 1m 4s