LINK.urll

seanpm2001 · web-flow · commit e2366a21a62d · 2022-10-03T19:22:52.000-07:00
The link to this discussion.
diff --git a/.github/Discussions/1/URLL/LINK.urll b/.github/Discussions/1/URLL/LINK.urll
@@ -0,0 +1 @@
+https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_IsabelleProofAssistant/discussions/1

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_IsabelleProofAssistant/discussions/1`