tree a5eb0df5e463d30a289fbf910dd1eca76bd5bb44
parent 42d4cdf03d1661a82fb9227816dabead5b926fbd
parent cb4fd31df877ec01063e4a1dafcd671163941da9
author Zhaojing Luo <zhaojing@comp.nus.edu.sg> 1637829680 +0800
committer GitHub <noreply@github.com> 1637829680 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJhn0wwCRBK7hj4Ov3rIwAAjmUIAJl9vQkpNmkde2l8moT6NDnP
 5RUad3lYokHuGI+b88taRmY4CCHLcFkRUMQDP8SSDHe2Ie3Aosrxonoi+M5Tk7ur
 49uHlhz55jAorySym1vTggHMdvSuUl6L3cIH24tbVtEElq4FjTm9wD7Rf3dkujbl
 J9UTlo2QuJWnfcWkAyjJDfLcNt6F7ZMxpPMv1eFZsxlAg5VGAQzzC805VTaC/AEg
 gBqiFtzvpRqMYFp+zyfTKWSX9XYPuIjbBmsY5Ld4J/LZmXcl96u06Tzv+VGIXgw4
 EvJ3NW2hakeN00l1CLYcsGES0++v9ZJzMZs3gM7lJvk0q0ByaJ8HCxHwzR4Xg6w=
 =1y3J
 -----END PGP SIGNATURE-----
 

Merge pull request #907 from NLGithubWP/update-the-header

Add Apache license header for run-rtx.sh