diff options
author | Bladen Martin | 2020-07-31 23:35:46 +0530 |
---|---|---|
committer | GitHub | 2020-07-31 23:35:46 +0530 |
commit | 705880606aa60b897040dd37d9bd5f9ff56a77b3 (patch) | |
tree | cff6562b6720883a406d00210d133c3325e6a5ee | |
parent | 4bb2079a4f94e0fd6446f2abcd8df86f6427499b (diff) | |
download | nghdl-705880606aa60b897040dd37d9bd5f9ff56a77b3.tar.gz nghdl-705880606aa60b897040dd37d9bd5f9ff56a77b3.tar.bz2 nghdl-705880606aa60b897040dd37d9bd5f9ff56a77b3.zip |
Delete sources
-rw-r--r-- | Windows/sources | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Windows/sources b/Windows/sources deleted file mode 100644 index 8b13789..0000000 --- a/Windows/sources +++ /dev/null @@ -1 +0,0 @@ - |