Add `pikchr` as an alias of Pic (#6522)

This commit is contained in:
John Gardner 2023-09-07 19:26:06 +10:00 коммит произвёл GitHub
Родитель ee12e6c305
Коммит befa56a3ef
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 0 удалений

Просмотреть файл

@ -5136,6 +5136,8 @@ Pic:
extensions: extensions:
- ".pic" - ".pic"
- ".chem" - ".chem"
aliases:
- pikchr
ace_mode: text ace_mode: text
codemirror_mode: troff codemirror_mode: troff
codemirror_mime_type: text/troff codemirror_mime_type: text/troff