view .hgsub @ 15564:b66be1cb12ca default tip

Merge proper file rename
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Thu, 25 Oct 2012 16:48:35 -0400
parents 017f0b2e6933
children
line wrap: on
line source

gnulib = [git]git://git.sv.gnu.org/gnulib
libgui/qterminal = [git]https://code.google.com/p/qterminal/