Measures Concepts
GitHub icon

gedit-editor

gedit-editor - Editor

< >
edit

gedit-editor is an editor created in 1999.

#3652on PLDB 25Years Old


View source

- Build the next great programming language 路 Search 路 Add Language 路 Features 路 Creators 路 Resources 路 About 路 Blog 路 Acknowledgements 路 Queries 路 Stats 路 Sponsor 路 Day 605 路 feedback@pldb.io 路 Logout