diff options
author | Rickard Green <[email protected]> | 2016-05-27 10:35:03 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-05-27 10:35:03 +0200 |
commit | f0510a55fdc2591ea71107f77e36d6fc7b001874 (patch) | |
tree | 23978a2d83ef2dd7f83a575822d2fc40e8aa3733 /make/run_make.mk | |
parent | a390d27f5c39d5a120db1f3e8e7185f85a05debd (diff) | |
parent | 4a2b7cd9a8cab8e8a6842f7d08ddc36613eba678 (diff) | |
download | otp-f0510a55fdc2591ea71107f77e36d6fc7b001874.tar.gz otp-f0510a55fdc2591ea71107f77e36d6fc7b001874.tar.bz2 otp-f0510a55fdc2591ea71107f77e36d6fc7b001874.zip |
Merge branch 'rickard/doc-fix'
* rickard/doc-fix:
Minor doc fix
Diffstat (limited to 'make/run_make.mk')
0 files changed, 0 insertions, 0 deletions