diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2020-12-29 17:19:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-29 17:19:09 +0100 |
| commit | 7ca54117b8f757396ba5ef04c83ff1228ca94384 (patch) | |
| tree | cc5f7f4166cc0570bda5cf2047d3ef7abbc36e37 /python/libghdl/thin/files_map_editor.py | |
| parent | 340fc792bba2ffdb4f930bc427a39ea3a1b659b2 (diff) | |
| parent | 50adcf884c3cfa4e33ca45769295f163baa63a3e (diff) | |
| download | ghdl-7ca54117b8f757396ba5ef04c83ff1228ca94384.tar.gz ghdl-7ca54117b8f757396ba5ef04c83ff1228ca94384.tar.bz2 ghdl-7ca54117b8f757396ba5ef04c83ff1228ca94384.zip | |
Merge pull request #1556 from Paebbels/paebbels/pyGHDL
Cleanup and Restructuring of pyGHDL
Diffstat (limited to 'python/libghdl/thin/files_map_editor.py')
| -rw-r--r-- | python/libghdl/thin/files_map_editor.py | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/python/libghdl/thin/files_map_editor.py b/python/libghdl/thin/files_map_editor.py deleted file mode 100644 index bf9492786..000000000 --- a/python/libghdl/thin/files_map_editor.py +++ /dev/null @@ -1,12 +0,0 @@ -from ctypes import c_int32, c_char_p, c_bool -from libghdl import libghdl - -Replace_Text = libghdl.files_map__editor__replace_text_ptr -Replace_Text.argstype = [c_int32, c_int32, c_int32, c_int32, c_char_p, c_int32] -Replace_Text.restype = c_bool - -Fill_Text = libghdl.files_map__editor__fill_text_ptr - -Check_Buffer_Content = libghdl.files_map__editor__check_buffer_content - -Copy_Source_File = libghdl.files_map__editor__copy_source_file |