Index of /2017/divm/divine3/gui/main/res/48x48/

../
application-exit.png                               08-Mar-2017 12:03                3017
arrow-left.png                                     08-Mar-2017 12:03                1554
arrow-right.png                                    08-Mar-2017 12:03                1623
code-block.png                                     08-Mar-2017 12:03                1500
code-class.png                                     08-Mar-2017 12:03                1132
code-context.png                                   08-Mar-2017 12:03                2051
code-function.png                                  08-Mar-2017 12:03                1336
code-typedef.png                                   08-Mar-2017 12:03                1150
code-variable.png                                  08-Mar-2017 12:03                 707
configure.png                                      08-Mar-2017 12:03                2575
document-close.png                                 08-Mar-2017 12:03                2613
document-export.png                                08-Mar-2017 12:03                2785
document-import.png                                08-Mar-2017 12:03                2628
document-new.png                                   08-Mar-2017 12:03                2461
document-open-recent.png                           08-Mar-2017 12:03                2878
document-open.png                                  08-Mar-2017 12:03                2798
document-print-preview.png                         08-Mar-2017 12:03                3385
document-print.png                                 08-Mar-2017 12:03                1991
document-save-all.png                              08-Mar-2017 12:03                2585
document-save-as.png                               08-Mar-2017 12:03                3792
document-save.png                                  08-Mar-2017 12:03                2122
edit-copy.png                                      08-Mar-2017 12:03                1380
edit-cut.png                                       08-Mar-2017 12:03                1666
edit-find.png                                      08-Mar-2017 12:03                3136
edit-paste.png                                     08-Mar-2017 12:03                2028
edit-redo.png                                      08-Mar-2017 12:03                3383
edit-undo.png                                      08-Mar-2017 12:03                3440
media-playback-start.png                           08-Mar-2017 12:03                1932
media-playback-stop.png                            08-Mar-2017 12:03                1891
media-seek-backward.png                            08-Mar-2017 12:03                1964
media-seek-forward.png                             08-Mar-2017 12:03                1962
media-skip-backward.png                            08-Mar-2017 12:03                1982
process-stop.png                                   08-Mar-2017 12:03                2780
roll.png                                           08-Mar-2017 12:03                1655
view-refresh.png                                   08-Mar-2017 12:03                3743
window-close.png                                   08-Mar-2017 12:03                3751