Sandbox::https://github.com/idris-lang/Idris2/blob/main/.gitignore

Visitar URL original

Idris2/.gitignore at main · idris-lang/Idris2 · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

*.ibc

*.ttc

*.ttm

*.o

*.d

*.a

*.dll

*.dylib

/build

/lib

idris2docs_venv

/docs/build

/libs/**/build

/ipkg/build

/tests/**/build

/tests/**/prefix

/tests/**/output*

/tests/**/*.so

/tests/**/*.dylib

/tests/**/*.dll

/tests/failures

/benchmark/**/build

/benchmark/*.csv

/bootstrap-build

/src/IdrisPaths.idr

/custom.mk

# NixOS

/result

# Editor/IDE Related

# WARNING:

# do not put comments on the same line as a regex

# git seems to ignore the pattern in this case

# Vim swap file

*~

*.*.swp

# Emacs swap file

.\#*

# VS Code

.vscode/*

# JetBrains IDEs

.idea/

# Zed editor

.zed/

# Gram editor

.gram/

# macOS

.DS_Store