diff .gitignore @ 18882:b314efd58072 gui-release

maint: Periodic merge of stable to gui-release.
author John W. Eaton <jwe@octave.org>
date Thu, 19 Jun 2014 15:51:05 -0400
parents 5758e0013246
children
line wrap: on
line diff