file type lean

VSCode Icons · Roberto Huertas · MIT