Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
H
Heritage_Platform
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Gérard Huet
Heritage_Platform
Commits
0e93f760
Commit
0e93f760
authored
Jun 08, 2017
by
Gérard Huet
Browse files
Options
Browse Files
Download
Plain Diff
Merge branch 'gitignore' into 'master'
Add .gitignore file See merge request
!2
parents
880d1f3a
96467669
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
57 additions
and
0 deletions
+57
-0
.gitignore
.gitignore
+57
-0
No files found.
.gitignore
0 → 100644
View file @
0e93f760
# Generic patterns
*.cmi
*.cmo
*.cmx
*.o
# Executables
ML/conjugation
ML/css
ML/declension
ML/indexer
ML/indexerd
ML/interface
ML/lemmatizer
ML/mk_grammar_page
ML/mk_index_page
ML/mk_reader_page
ML/mk_sandhi_page
ML/parser
ML/reader
ML/regression
ML/reset_caches
ML/sandhier
ML/test_stamp
ML/user_aid
ZEN/dagify
ZEN/list_iso
ZEN/make_english_lexicon
ZEN/make_french_lexicon
ZEN/terdagify
ZEN/test
ZEN/timeshare
ZEN/unshare
# Local copies of dictionaries
DICO/
MW/
# User configuration files
ML/SCLpaths.ml
SETUP/config
# Files generated by configure
/Makefile
DOC/docintro.tex
ML/paths.ml
SITE/faq.en.html
SITE/faq.fr.html
SITE/index.en.html
SITE/index.fr.html
SITE/portal.en.html
SITE/portal.fr.html
SITE/xml.html
# Mechanically OCaml generated files from ZEN/example.aut
ZEN/example_dispatch.ml
ZEN/sanskrit_dispatch.ml
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment