mirror of
https://github.com/microsoft/terminal.git
synced 2025-12-19 18:11:39 -05:00
Update IntervalTree.h dependency (#14148)
This was the last update since 2021
This commit is contained in:
@@ -6,6 +6,7 @@
|
|||||||
#include <iostream>
|
#include <iostream>
|
||||||
#include <memory>
|
#include <memory>
|
||||||
#include <cassert>
|
#include <cassert>
|
||||||
|
#include <limits>
|
||||||
|
|
||||||
#ifdef USE_INTERVAL_TREE_NAMESPACE
|
#ifdef USE_INTERVAL_TREE_NAMESPACE
|
||||||
namespace interval_tree
|
namespace interval_tree
|
||||||
|
|||||||
@@ -8,7 +8,7 @@ That provenance file is automatically read and inventoried by Microsoft systems
|
|||||||
|
|
||||||
## What should be done to update this in the future?
|
## What should be done to update this in the future?
|
||||||
|
|
||||||
1. Go to ekg/intervaltreerepository on GitHub.
|
1. Go to the ekg/intervaltree repository on GitHub.
|
||||||
2. Take the file IntervalTree.h wholesale and drop it into the directory here.
|
2. Take the file IntervalTree.h wholesale and drop it into the directory here.
|
||||||
3. Don't change anything about it.
|
3. Don't change anything about it.
|
||||||
4. Validate that the license in the root of the repository didn't change and update it if so. It is sitting in the same directory as this readme.
|
4. Validate that the license in the root of the repository didn't change and update it if so. It is sitting in the same directory as this readme.
|
||||||
|
|||||||
@@ -6,7 +6,7 @@
|
|||||||
"type": "git",
|
"type": "git",
|
||||||
"git": {
|
"git": {
|
||||||
"repositoryUrl": "https://github.com/ekg/intervaltree",
|
"repositoryUrl": "https://github.com/ekg/intervaltree",
|
||||||
"commitHash": "b90527f9e6d51cd36ecbb50429e4524d3a418ea5"
|
"commitHash": "aa5937755000f1cd007402d03b6f7ce4427c5d21"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user