search

zyedidia / micro

A modern and intuitive terminal-based text editor
https://micro-editor.github.io
MIT License
24.39k stars 1.16k forks source link

action: Fix the duplication of the `unknown` filetype #3258

Closed JoeKar closed 2 months ago

JoeKar commented 2 months ago

This is a follow-up of #2933. :man_facepalming: