Init.js – A simple command line tool to quickly initialize developer workspaces 11 years agoMight be Droid Sans Mono: https://www.google.com/fonts/specimen/Droid+Sans+Mono 0ThreadHN