diff options
| author | leochanj <jbakita@cs.unc.edu> | 2020-10-23 00:13:06 -0400 |
|---|---|---|
| committer | leochanj <jbakita@cs.unc.edu> | 2020-10-23 00:13:06 -0400 |
| commit | d427b910baffcc330b0b24d87c9b3216f306d0fb (patch) | |
| tree | ef312bc5757860a03673316be421c1624a5bb6b7 /.gitmodules | |
| parent | b839934c04b214c9bdab399628ee2b94a65bcd10 (diff) | |
| parent | a7c3210215bd1181ae93b23c313941dfb44519fb (diff) | |
merged
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..ebc7523 --- /dev/null +++ b/.gitmodules | |||
| @@ -0,0 +1,6 @@ | |||
| 1 | [submodule "smt_analysis/plotille"] | ||
| 2 | path = smt_analysis/plotille | ||
| 3 | url = https://github.com/tammoippen/plotille.git | ||
| 4 | [submodule "wbinvd"] | ||
| 5 | path = wbinvd | ||
| 6 | url = https://github.com/JoshuaJB/wbinvd.git | ||