codestoryai / aide

The open-source AI-native IDE
https://aide.dev
GNU Affero General Public License v3.0
729 stars 59 forks source link

Fix terminal manager types #961

Closed ghostwriternr closed 2 weeks ago