dedis / dela / 5794484000
98%

DEFAULT BRANCH: master
Ran
Jobs 0
Files 0
Run time –
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
5794484000

push

github

Pierluca Borsò 
Fix mistaken EOL setting in editorconfig
Source Files on build 5794484000
Detailed source file information is not available for this build.