diff options
author | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-02-11 12:13:57 -0800 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-08-01 08:40:07 -0700 |
commit | 7455cdd1a0fe9a1367ee99596ea2564031daec00 (patch) | |
tree | 4e825fea330384ad944b4db0ac0d4a96a286e98d /.gitattributes | |
parent | 609488bc979f99f805f34e9a32c1e3b71179d10b (diff) | |
download | linux-7455cdd1a0fe9a1367ee99596ea2564031daec00.tar.bz2 |
tools/memory-model: Make scripts be executable
This commit simplifies life a bit by making all of the scripts in
tools/memory-model/scripts be executable.
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions