Skip to content

Commit 9e73de3

Browse files
chore: recreate repository to quickly clean history from large files for GitHub upload.
0 parents  commit 9e73de3

80 files changed

Lines changed: 8236 additions & 0 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.gitignore

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
.idea
2+
*.iml
3+
.svn
4+
.project
5+
.classpath
6+
.settings
7+
build.properties
8+
9+
target/
10+
bin/
11+
output/
12+
__pycache__
13+
data/*Variants/
14+
src/test/resources/results/
15+
16+
*/latex/*.aux
17+
*/latex/*.bbl
18+
*/latex/*.blg
19+
*/latex/*.log
20+
*/latex/*.out
21+
*/latex/*.synctex.gz

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
# ECCO-Ext
2+
3+
ECCO extended with mapping propagation.

0 commit comments

Comments
 (0)