diff options
author | Miguel Figueiredo <elmig@debianpt.org> | 2021-09-18 23:37:58 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-09-18 23:37:58 +0200 |
commit | 9f25ffb29dd09e44956935bebe56fd2506a2d2e1 (patch) | |
tree | cdd54212c0b7f0cdd808779945c22a6b51022524 /x86_64 | |
parent | f10244db598fce618f403488c73bd3e0d8142237 (diff) | |
download | gnumach-9f25ffb29dd09e44956935bebe56fd2506a2d2e1.tar.gz gnumach-9f25ffb29dd09e44956935bebe56fd2506a2d2e1.tar.bz2 gnumach-9f25ffb29dd09e44956935bebe56fd2506a2d2e1.zip |
replace obsolete AC_CONFIG_HEADER with AC_CONFIG_HEADERS
Diffstat (limited to 'x86_64')
0 files changed, 0 insertions, 0 deletions