Skip to content
Snippets Groups Projects

Resolve "Add documentation in pages"

Merged Resolve "Add documentation in pages"
9-add-documentation-in-pages into main
Merged Jueun Park requested to merge 9-add-documentation-in-pages into main
Viewing commit 86f2feb8
Prev
Show latest version
1 file
+ 0
− 3
Compare changes
  • Side-by-side
  • Inline
build.gradle
+ 0
− 3
@@ -83,9 +83,6 @@ task generateGrammarDiagrams(type: JavaExec) {
outputs.files file(grammarDiagramFile)
}
// task generateRandomRequests
// task generateInferredRequests
task relast(type: JavaExec) {
classpath = files("libs/relast.jar")
group = 'Build'