[accerciser: 2/2] Merge branch 'jjardon/gnome-common-remove' into 'master'



commit c4dca60f0f8b8335e5345f9e0f2ef1bf1b51733c
Merge: 1da6d1b e607180
Author: Samuel Thibault <samuel thibault ens-lyon org>
Date:   Mon Apr 1 16:07:55 2019 +0000

    Merge branch 'jjardon/gnome-common-remove' into 'master'
    
    Use autoreconf instead deprecated gnome-autogen
    
    See merge request GNOME/accerciser!2

 autogen.sh | 42 +++++++++++++++++++++++++++++++++---------
 1 file changed, 33 insertions(+), 9 deletions(-)
---


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]