diff options
| -rwxr-xr-x | HelloWorld/hello_world (renamed from hello_world) | 0 | ||||
| -rw-r--r-- | HelloWorld/hello_world.v (renamed from hello_world.v) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/hello_world b/HelloWorld/hello_world index f99577e..f99577e 100755 --- a/hello_world +++ b/HelloWorld/hello_world diff --git a/hello_world.v b/HelloWorld/hello_world.v index 6f57a4a..6f57a4a 100644 --- a/hello_world.v +++ b/HelloWorld/hello_world.v |