Project

General

Profile

« Previous | Next » 

Revision dbc69edc

Added by Corentin Lauverjat over 1 year ago

  • ID dbc69edc9425c1b5f291583739fb0d7c3401a8c5
  • Parent 8c36178f

Passage à dune

View differences:

.gitignore
1 1
*~
2
/src/_build/
2
_build/
3 3
/setup.data
4 4
/setup.log
5 5
/src/version.ml
6 6
/src/pluginList.ml
7 7
/myocamlbuild.ml
8 8
*.cmt
9
*.log
10
Makefile
11
/configure
12
/src/_tags
13
/bin
14
*cache/
15
/config.status
9
*.log

Also available in: Unified diff