tree 45261a583db7f3145d4830af4bb2e10c7daa9275
parent 7875f1ef4b4d16bff1ffbcc9a581a3355a772e55
author Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1611081494 +0200
committer Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1611083203 +0200

Check for 'patch' in configure script