mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-17 13:07:54 +02:00
Merge 361a0c00b3 into merged_master (Bitcoin PR bitcoin/bitcoin#27783)
This commit is contained in:
commit
da9f9ededb
8 changed files with 20 additions and 7 deletions
|
|
@ -14,7 +14,10 @@
|
|||
#include <optional>
|
||||
#include <stdint.h>
|
||||
|
||||
#include <boost/multi_index/identity.hpp>
|
||||
#include <boost/multi_index/indexed_by.hpp>
|
||||
#include <boost/multi_index/ordered_index.hpp>
|
||||
#include <boost/multi_index/tag.hpp>
|
||||
#include <boost/multi_index_container.hpp>
|
||||
|
||||
class ArgsManager;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue