Merge: Small improvements on the oot.sh script
authorJean Privat <jean@pryen.org>
Fri, 11 May 2018 20:01:18 +0000 (16:01 -0400)
committerJean Privat <jean@pryen.org>
Fri, 11 May 2018 20:01:18 +0000 (16:01 -0400)
commit67570592111c6b0bf7629a309c4ed90fb20bc837
tree47f205100313d700cd554e63f5ce5e5069283955
parent8224bcc2793f61ac1a276d27f82149c0c8af0051
parent6e7e8dc9c69a260f499cf18be4a85ea183c75207
Merge: Small improvements on the oot.sh script

Pull-Request: #2676