Merge pull request #16 from petk/patch-git-idents

Remove unused Git attributes ident
This commit is contained in:
Jakub Zelenka 2018-07-15 19:44:58 +01:00 committed by GitHub
commit a2d30ca91d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,3 @@
dnl $Id$
dnl config.m4 for extension gnupg
AC_CANONICAL_HOST
case $host_os in