diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-24 12:13:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-24 12:13:09 +0200 |
commit | 61440a42d1b8b2c5dfa50d1fd2aec4766664f6b2 (patch) | |
tree | 58074b48e48a63310776776d00a0953e7fa7a1c7 /.editorconfig | |
parent | c0e4d01aa7ee1ae349a4d7637336a50831b79a6d (diff) | |
parent | 49945ab1c29482344a36c17eefde44243de90972 (diff) | |
download | yosys-61440a42d1b8b2c5dfa50d1fd2aec4766664f6b2.tar.gz yosys-61440a42d1b8b2c5dfa50d1fd2aec4766664f6b2.tar.bz2 yosys-61440a42d1b8b2c5dfa50d1fd2aec4766664f6b2.zip |
Merge pull request #3523 from lparkes/basename
Replace GNU specific invocation of basename(1) with the equivalent POSIX one
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions