mirror of
https://github.com/zyedidia/micro.git
synced 2025-06-18 23:05:40 -04:00
Use include instead of copying
This commit is contained in:
parent
53a7cf4fc5
commit
2a8a5c5f41
@ -6,6 +6,7 @@ detect:
|
||||
rules:
|
||||
# Markdown is a superset of HTML
|
||||
{include: "html"}
|
||||
|
||||
# Tables (Github extension)
|
||||
- type: ".*[ :]\\|[ :].*"
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user