diff .gitignore @ 4247:366dc3466a3a

merge away extra head
author John W. Eaton <jwe@octave.org>
date Mon, 14 Nov 2016 09:58:24 -0500
parents 8db5a297f243
children
line wrap: on
line diff