commit | 7eed3bb39200dc260f43ef6ab3b85c17cd0da8b8 | [log] [tgz] |
---|---|---|
author | Zhaojing Luo <zhaojing@comp.nus.edu.sg> | Thu Nov 25 16:41:20 2021 +0800 |
committer | GitHub <noreply@github.com> | Thu Nov 25 16:41:20 2021 +0800 |
tree | a5eb0df5e463d30a289fbf910dd1eca76bd5bb44 | |
parent | 42d4cdf03d1661a82fb9227816dabead5b926fbd [diff] | |
parent | cb4fd31df877ec01063e4a1dafcd671163941da9 [diff] |
Merge pull request #907 from NLGithubWP/update-the-header Add Apache license header for run-rtx.sh