diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-06-30 22:17:24 +0200 |
|---|---|---|
| committer | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-07-01 06:39:47 +0200 |
| commit | 2736d7fbe44565d62e3496b7328992042148f345 (patch) | |
| tree | 6bdce7aa47b628512d1c6fa0e8fc9e3beb5b5b5f | |
| parent | 500c64f93308439aa9ebc824390e559a9b303d0f (diff) | |
| download | ghdl-2736d7fbe44565d62e3496b7328992042148f345.tar.gz ghdl-2736d7fbe44565d62e3496b7328992042148f345.tar.bz2 ghdl-2736d7fbe44565d62e3496b7328992042148f345.zip | |
Fixed rename operation in Git.
| -rwxr-xr-x | pyGHDL/cli/dom.py (renamed from pyGHDL/cli/DOM.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/pyGHDL/cli/DOM.py b/pyGHDL/cli/dom.py index 0638bb2e6..0638bb2e6 100755 --- a/pyGHDL/cli/DOM.py +++ b/pyGHDL/cli/dom.py |