Merge branch 'devel' into 'master'
Devel See merge request fherrero/iri_adc_gui!1
Showing
- .gitmodules 3 additions, 0 deletions.gitmodules
- config/goals.yaml 18 additions, 0 deletionsconfig/goals.yaml
- html/data/goals0.yaml 18 additions, 0 deletionshtml/data/goals0.yaml
- html/data/goals1.yaml 18 additions, 0 deletionshtml/data/goals1.yaml
- html/data/goals2.yaml 18 additions, 0 deletionshtml/data/goals2.yaml
- html/images/carnet.png 0 additions, 0 deletionshtml/images/carnet.png
- html/index.html 313 additions, 33 deletionshtml/index.html
- html/js-yaml 1 addition, 0 deletionshtml/js-yaml
- html/map.html 2 additions, 2 deletionshtml/map.html
- html/style.css 1 addition, 1 deletionhtml/style.css
- html/timer.js 35 additions, 23 deletionshtml/timer.js
.gitmodules
0 → 100644
config/goals.yaml
0 → 100644
html/data/goals0.yaml
0 → 100644
html/data/goals1.yaml
0 → 100644
html/data/goals2.yaml
0 → 100644
html/images/carnet.png
0 → 100644
16.2 KiB