.hgeol
author alfadur
Wed, 21 Sep 2022 06:36:05 +0300
changeset 15871 9cd8d7748199
parent 6500 c9eaf1dd16c8
permissions -rw-r--r--
fix pred/succ conversion
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3505
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     1
[patterns]
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     2
**.h = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     3
**.c = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     4
**.cpp = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     5
**.lua = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     6
**.txt = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     7
**.pas = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     8
**.inc = native
6500
c9eaf1dd16c8 Let .hs be native eol format too
unc0rr
parents: 3690
diff changeset
     9
**.hs = native