Branch: Tag:

2019-03-14

2019-03-14 10:39:03 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Merge commit '2470270f500c728d10b8895314d8d8b07016e37b' into grubba/typechecker-automap

* commit '2470270f500c728d10b8895314d8d8b07016e37b': (18681 commits)
Removed the old typechecker.
...

2018-11-04

2018-11-04 16:11:11 by Arne Goedeke <el@laramies.com>

Merge remote-tracking branch 'origin/master' into new_utf8

2018-11-03

2018-11-03 14:21:37 by Marcus Comstedt <marcus@mc.pp.se>

Merge remote-tracking branch 'origin/8.1' into gobject-introspection

2018-02-15

2018-02-15 15:54:26 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Merge commit '75c9d1806f1a69ca21c27a2c2fe1b4a6ea38e77e' into patches/pike63

* commit '75c9d1806f1a69ca21c27a2c2fe1b4a6ea38e77e': (19587 commits)
...

2017-04-22

2017-04-22 15:46:21 by Martin Nilsson <nilsson@fastmail.com>

Pointlessly saved 3k by recompressing with zopfli

2008-06-29

2008-06-29 12:47:38 by Martin Nilsson <mani@lysator.liu.se>

Reduced 8k

Rev: src/post_modules/GTK2/refdoc/images/gnome2_appbar.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gnome2_dateedit.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gnome2_dateedit_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gnome2_href.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_arrow_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_aspectframe.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_button.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_button_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_button_3.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_calendar.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_calendar_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_checkmenuitem.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_checkmenuitem_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_colorselection.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_databox.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_drawingarea.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_entry.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_eventbox.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_filechooserdialog.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_filechooserwidget.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fileselection.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fixed.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fontselection.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fontselectiondialog.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_frame.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_frame_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_frame_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_handlebox.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hbuttonbox.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hbuttonbox_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hbuttonbox_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hbuttonbox_4.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hbuttonbox_5.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hpaned.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hscale.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hscrollbar.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_label.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_label_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_label_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_label_4.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_menubar.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_misc.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_misc_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_misc_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_notebook.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_notebook_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_notebook_3.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar_3.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar_4.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_radiobutton.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_radiomenuitem.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_scrolledwindow.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_scrolledwindow_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_scrolledwindow_3.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_scrolledwindow_4.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_spinbutton.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_statusbar.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_statusbar_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_table.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_table_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_togglebutton.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_togglebutton_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox_4.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox_5.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport_2.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport_4.png:1.3
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vpaned.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vscale.png:1.3

2006-01-09

2006-01-09 01:24:10 by Martin Nilsson <mani@lysator.liu.se>

Compressed harder.

Rev: src/post_modules/GTK/refdoc/images/gnome_about.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_calculator.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_dateedit.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_dateedit_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_fileentry.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_fontpicker.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_href_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_less.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_less_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_less_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_messagebox.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_messagebox_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_numberentry.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_paperselector.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gnome_scores.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_aspectframe.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_button.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_button_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_button_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_calendar.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_calendar_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_checkbutton.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_clist.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_colorselection.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_colorselectiondialog.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_databox.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_dial.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_dial_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_drawingarea.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_eventbox.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_fileselection.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_fixed.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_fontselection.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_fontselectiondialog.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_frame.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_gammacurve.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_handlebox.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hbox_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hbuttonbox.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hbuttonbox_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hbuttonbox_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hbuttonbox_4.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hbuttonbox_5.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hruler_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hscale.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hscrollbar.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_hseparator.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_image.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_label.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_label_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_label_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_menubar.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_misc.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_misc_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_notebook.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_notebook_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_optionmenu.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_pixmap.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_pixmap_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_progressbar.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_progressbar_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_radiobutton.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_scrolledwindow.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_scrolledwindow_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_scrolledwindow_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_scrolledwindow_4.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_table.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_text.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_text_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_togglebutton.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_toolbar.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_toolbar_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_toolbar_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_vbox.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_vbox_2.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_vbox_3.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_vbuttonbox_4.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_vbuttonbox_5.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_viewport.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_vscrollbar.png:1.2
Rev: src/post_modules/GTK/refdoc/images/gtk_widget_shape_combine_mask.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gnome2_appbar.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gnome2_dateedit.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_aspectframe.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_button.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_button_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_button_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_calendar.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_calendar_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_colorselection.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_databox.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_drawingarea.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_entry.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_eventbox.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_filechooserdialog.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_filechooserwidget.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fileselection.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fixed.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fontselection.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_fontselectiondialog.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_frame.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_frame_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hbuttonbox_4.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hpaned.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hscale.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_hscrollbar.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_image.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_notebook.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_notebook_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_notebook_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_progressbar_4.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_scrolledwindow_3.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_scrolledwindow_4.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_spinbutton.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_statusbar.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_statusbar_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_togglebutton.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_togglebutton_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox_4.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vbuttonbox_5.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport_2.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_viewport_4.png:1.2
Rev: src/post_modules/GTK2/refdoc/images/gtk2_vscale.png:1.2

2006-01-09 01:06:57 by Marcus Comstedt <marcus@mc.pp.se>

More images generated.

Rev: src/post_modules/GTK2/refdoc/GTK2.pmod/Databox.pike:1.2
Rev: src/post_modules/GTK2/refdoc/GTK2.pmod/FileChooserDialog.pike:1.2
Rev: src/post_modules/GTK2/refdoc/GTK2.pmod/Gnome2Appbar.pike:1.2
Rev: src/post_modules/GTK2/refdoc/GTK2.pmod/Gnome2DateEdit.pike:1.2
Rev: src/post_modules/GTK2/refdoc/GTK2.pmod/Gnome2Href.pike:1.2
Rev: src/post_modules/GTK2/refdoc/images/gnome2_appbar.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gnome2_dateedit.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gnome2_dateedit_2.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gnome2_href.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gnome2_href_2.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gtk2_databox.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gtk2_filechooserdialog.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gtk2_filechooserwidget.png:1.1
Rev: src/post_modules/GTK2/refdoc/images/gtk2_radiobutton.png:1.1