Resolve "Optionally remove identity from nodes" (!3) · Merge requests · JastAdd / dumpAst · GitLab

Snippets Groups Projects

Merged René Schöne requested to merge 8-optionally-remove-identity-from-nodes into dev 3 years ago

Closes #8 (closed)

Edited 3 years ago by René Schöne

Activity

René Schöne changed milestone to %0.3.6 3 years ago

changed milestone to %0.3.6
René Schöne assigned to @rschoene 3 years ago

assigned to @rschoene
René Schöne added 1 commit 3 years ago
added 1 commit

3c10ba2e - Make label and colors configurable.

Compare with previous version
René Schöne marked this merge request as ready 3 years ago

marked this merge request as ready
René Schöne merged 3 years ago

merged
René Schöne mentioned in commit b9eff203 3 years ago

mentioned in commit b9eff203

Please register or sign in to reply