Skip to content
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

[Dart] Use dart pub add to add dependencies #4376

Closed
wants to merge 33 commits into from

Conversation

domesticmouse
Copy link

No description provided.

KvanTTT and others added 29 commits May 25, 2023 17:12
Move code from template to Java files

Remove returnObject option from RunOptions since it's not needed anymore

Signed-off-by: Ivan Kochurkin <[email protected]>
Clarify doc and runtime test templates

fixes antlr#4195

Signed-off-by: Ivan Kochurkin <[email protected]>
Signed-off-by: Ken Domino <[email protected]>
… page when pointing to the directory. Naming the document as "index.md" is not a standard practice.

Signed-off-by: Ken Domino <[email protected]>
Signed-off-by: Ken Domino <[email protected]>
…tside this repo that depend on the existence of index.md. The files are renamed back, including content but for links only.

Signed-off-by: Ken Domino <[email protected]>
Signed-off-by: Ken Domino <[email protected]>
…seful Information" section of Python2. Fix count of number of targets. Enumerate targets nearby the count number so that it may be updated more easily in the future.

Signed-off-by: Ken Domino <[email protected]>
… grammar, style, spelling in target-agnostic-grammars.md.

Signed-off-by: Ken Domino <[email protected]>
Signed-off-by: Ken Domino <[email protected]>
Signed-off-by: Ken Domino <[email protected]>
Signed-off-by: Ken Domino <[email protected]>
Co-authored-by: angrykoala <[email protected]>
Signed-off-by: ncordon <[email protected]>
@domesticmouse domesticmouse changed the title Use dart pub add to add dependencies [Dart] Use dart pub add to add dependencies Aug 8, 2023
Signed-off-by: Grzegorz Spryszyński <[email protected]>
This causes a fair number of diffs when importing into Google. If a way of setting the source name for string input streams was provided, then we could have the default be the empty string.

Signed-off-by: Jerry Berg <[email protected]>
@domesticmouse domesticmouse deleted the domesticmouse-patch-1 branch September 1, 2023 03:33
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.

9 participants