12 Commits (710e3fe263262e2dd693189e17cfa6056bed9ee5)

Author SHA1 Message Date
Jérémy DECOOL f23c297ac8
Docker images improvement (#145) 3 years ago
Donal Byrne b6cc872ced Added to all scripts 6 years ago
Pirmin Kalberer 7dbb3dfd87 Run install.sh without chmod +x 7 years ago
Jérôme Parmentier c2c45be6bb Replace deprecated MAINTAINER by LABEL 7 years ago
codec-abc 9e9adb6fcc fix typo 8 years ago
Johannes Schickling eb6b2b1b32 latex 10 years ago
Johannes Schickling 943d6167c8 less 10 years ago
Johannes Schickling 6a274ffb30 set e 10 years ago
Johannes Schickling 9a10899447 install.sh 10 years ago
Johannes Schickling a6e0fb1a28 rust nightly 10 years ago
Johannes Schickling fbdbce045a rm 10 years ago
Johannes Schickling ac14d25514 octave 10 years ago