Skip to content

Allow no source file #7

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jun 5, 2017
Merged

Allow no source file #7

merged 3 commits into from
Jun 5, 2017

Conversation

Sy1v4in
Copy link
Contributor

@Sy1v4in Sy1v4in commented Jun 5, 2017

No description provided.

Sylvain Fraïssé added 3 commits June 5, 2017 09:48
Could be used for static viewer without java sources
Rename `CG` commands by `TECHIO`
@Sy1v4in Sy1v4in force-pushed the allow-no-source-file branch from f4e5add to e347ddc Compare June 5, 2017 13:28
@Sy1v4in Sy1v4in merged commit 561b17e into master Jun 5, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant