diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-02 04:00:11 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-02 04:00:11 +0100 |
commit | cbf177e09af6b9d240388d148b0cb5e3488d8b09 (patch) | |
tree | 5043154b5fae5a71db1dc4c14784739ed92e585d /reproduce/software/config | |
parent | cd7bf83a5c463c788de4126429ecf5e8146aabd2 (diff) | |
parent | 218ef601067bd0e5554974bea1b5a62a457f5c97 (diff) |
Imported two recent minor corrections, no conflicts
There weren't any conflicts in this merge.
Diffstat (limited to 'reproduce/software/config')
0 files changed, 0 insertions, 0 deletions