diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-03-22 15:10:50 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-03-22 15:10:50 -0300 |
| commit | 15bee515e63f8d9d93fc9aacd00f2b99e37cd58b (patch) | |
| tree | cee112be228c175c348b2749ee56487ea52dfb3c /demos/misc/window_management/icon.png.flags | |
| parent | eefcf93e55ce6d9f76c4765c9385f870ce621897 (diff) | |
| parent | f7621810a2f072a5d77563b6018023c575f355bf (diff) | |
Merge pull request #1487 from hurikhan/x11-window-management
X11 window management
Diffstat (limited to 'demos/misc/window_management/icon.png.flags')
| -rw-r--r-- | demos/misc/window_management/icon.png.flags | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demos/misc/window_management/icon.png.flags b/demos/misc/window_management/icon.png.flags new file mode 100644 index 0000000000..5130fd1aab --- /dev/null +++ b/demos/misc/window_management/icon.png.flags @@ -0,0 +1 @@ +gen_mipmaps=false |