Skip to content
Snippets Groups Projects
Select Git revision
  • 11598d2b7dd81eb55f8b5cce2628d0d50ed91d43
  • master default protected
  • rust
  • extract-fix-master
  • extract-fix
  • extract-fix-1.0.0
6 results

why3

user avatar
Andrei Paskevich authored
+ create AUTHORS file
+ fix the linking exception in LICENSE
+ update the "About" in IDE
+ remove the trailing whitespace
+ inflate my scores at Ohloh
11598d2b
History
Name Last commit Last update