• Show log

    Commit

  • Hash : d7cf3b8d
    Author : Bruno Haible
    Date : 2018-06-25T21:45:23

    Continue to use spaces for indentation, not tabs.