Difference between revisions of "File:Down edit.gif"

Revision as of 12:24, 10 July 2008

Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/down_edit.gif

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	20:49, 30 April 2020		16 × 16 (565 bytes)	Maintenance script (talk \| contribs)

The following page links to this file:

This file contains additional information, probably added from the digital camera or scanner used to create or digitise it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

GIF file comment	Created with The GIMP

Revision as of 09:15, 10 July 2008 (view source) imported>Mathieu m (Robot: Adding Category:Icon) ← Older edit	Revision as of 12:24, 10 July 2008 (view source) imported>Mathieu (uploaded a new version of "Image:Down edit.gif": Import of event-b.ui icon) Newer edit →
(No difference)