Nudin/editorconfig-gedit
EditorConfig plugin for Gedit
Filter RSS/Atom feeds for duplicates/followups and stuff you don't care
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
EditorConfig plugin for Gedit
Public repository.
Control you Raspberry Pi via Touchscreen while viewing videos and pictures on the HDMI-Monitor
Tools using the linux overlay-filesystem