diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:43 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:43 +0100 |
commit | 96bbb16c6ac6960baeabcf8b085ea9b4a3fed803 (patch) | |
tree | 903bc6aafe878b6009bd0bac2d20697df0511f81 /python/libghdl/thin/files_map_editor.py | |
parent | a9c2b17053a324a92e86dd0e3bc65d34bae08db3 (diff) | |
download | ghdl-96bbb16c6ac6960baeabcf8b085ea9b4a3fed803.tar.gz ghdl-96bbb16c6ac6960baeabcf8b085ea9b4a3fed803.tar.bz2 ghdl-96bbb16c6ac6960baeabcf8b085ea9b4a3fed803.zip |
files_map-editor: add Copy_Source_File.
Diffstat (limited to 'python/libghdl/thin/files_map_editor.py')
-rw-r--r-- | python/libghdl/thin/files_map_editor.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/libghdl/thin/files_map_editor.py b/python/libghdl/thin/files_map_editor.py index 7fc1b64c3..bf9492786 100644 --- a/python/libghdl/thin/files_map_editor.py +++ b/python/libghdl/thin/files_map_editor.py @@ -8,3 +8,5 @@ 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 |