diff binary-dist-rules.mk @ 4114:02c9f7e9792e

merge away extra head on default
author John W. Eaton <jwe@octave.org>
date Wed, 23 Mar 2016 08:50:22 -0400
parents e5e0b3f7244b
children 0db86306c404
line wrap: on
line diff