--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dejsem.1.5/android/dejsem.studio/app/src/main/res/menu/fm_info.xml	Wed Nov 27 09:50:16 2019 +0100
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="utf-8"?>
+<menu
+    xmlns:android="http://schemas.android.com/apk/res/android"
+    >
+    <item android:title="get info">
+        <menu>
+            <item
+                android:id="@+id/menu_size_of_selection"
+                android:title="targetSize of selection"/>
+            <item
+                android:id="@+id/menu_free_space"
+                android:title="display free space"/>
+        </menu>
+    </item>
+</menu>
\ No newline at end of file