cirosantilli.github.io icon indicating copy to clipboard operation
cirosantilli.github.io copied to clipboard
verified publisher icon cirosantilli

KeY Project

Open cirosantilli opened this issue 10 years ago • 0 comments

  • put on GitHub
  • use the issue tracker
  • automate build dependency installation with Maven
  • add to maven central

If you do those things, so many more people would end up using this great software :)

[email protected]

cirosantilli avatar Mar 31 '15 19:03 cirosantilli