jrenaud/hello-world
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename THue to Thue (#1253)

Browse Source 
* Rename THue.th to Thue.th

* Update readme.md
This commit is contained in:
calgary34
2022-01-20 16:28:18 -07:00
committed by GitHub
parent 34ce879957
commit 75903b9d2d
2 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
t/Thue.th Normal file
View File

@@ -0,0 +1,4 @@
a::=~Hello World
::=
a