view doc/texmf.cnf @ 18208:1c1236fd179a stable

fix menu name of release notes in warning bar of exp. gui (bug #41078) * main-window.cc (construct_warning_bar): fix text of warning bar, menu for release notes in news menu * libgui/languages/*.ts: update language files accordingly
author Torsten <ttl@justmail.de>
date Fri, 03 Jan 2014 23:15:34 +0100
parents f262a3e9e21e
children
line wrap: on
line source

% Increase save size to run @seealso macro for Octave documentation
save_size = 10000