# HG changeset patch # User Jordi GutiƩrrez Hermoso # Date 1357144304 18000 # Node ID 1733bd181cb6e47fe8da91cdaf10dcf8e5fa7669 # Parent 6251fa48d28b928ff8e9f95ef71a160846d3e152# Parent 878623ca15e175010398b17d111461380b977f1e maint: periodic merge of stable to default diff -r 6251fa48d28b -r 1733bd181cb6 scripts/io/textscan.m