Pretty error message in failure dialog.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 27 Jul 2011 18:39:51 +0000 (19:39 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 27 Jul 2011 18:39:51 +0000 (19:39 +0100)
commita9ef60292882952c57883c86d98fd9320bb6e5f3
tree5447bf0aab5af01e5462f23428ba5a8595bbc91b
parent7dc8ab0a896859c51973982c607f92a215a435cc
Pretty error message in failure dialog.
utils.ml
utils.mli
window.ml