mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-20 13:37:28 +02:00
Merge 7878c8655c into merged_master (Bitcoin PR bitcoin/bitcoin#24674)
This commit is contained in:
commit
03b65b9021
1 changed files with 0 additions and 2 deletions
|
|
@ -22,8 +22,6 @@
|
|||
#include <memory>
|
||||
#include <thread>
|
||||
|
||||
#include <boost/algorithm/string.hpp>
|
||||
|
||||
static const int CONTINUE_EXECUTION=-1;
|
||||
|
||||
const std::function<std::string(const char*)> G_TRANSLATION_FUN = nullptr;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue