Merge remote-tracking branch 'website/master' into website/
.gitignore
0 → 100644
.gitmodules
0 → 100644
website/README.md
0 → 100644
website/bib/.gitignore
0 → 100644
website/db.py
0 → 100755
website/gepetto.bib
0 → 100644
This diff is collapsed.
website/get_scholar_bib.sh
0 → 100755
website/hal.bib
0 → 100644
This diff is collapsed.
website/projects
0 → 120000
website/requirements.in
0 → 100644
website/requirements.txt
0 → 100644
website/scholar.bib
0 → 100644
This diff is collapsed.
Please register or sign in to comment