Mirror/LS_COLORS
1
0
Fork 0
mirror of https://github.com/trapd00r/LS_COLORS.git synced 2024-12-22 13:52:12 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add literate Agda file types

Browse source
This commit is contained in:
Ryan Orendorff 2019-04-29 11:13:32 -07:00
parent 8d975df798
commit eeb3dd73b3
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
LS_COLORS
View file

@ -279,6 +279,10 @@ STICKY_OTHER_WRITABLE 48;5;235;38;5;139;3
.lhs 38;5;81
# agda
.agda 38;5;81
.lagda 38;5;81
.lagda.tex 38;5;81
.lagda.rst 38;5;81
.lagda.md 38;5;81
.agdai 38;5;110
# binaries {{{2