libsemigroups
diff --git a/‎.gitignore‎
Lines changed: 1 addition & 0 deletions b/‎.gitignore‎
Lines changed: 1 addition & 0 deletions
diff --git a/‎assets/favicon.ico‎
0 Bytes b/‎assets/favicon.ico‎
0 Bytes
diff --git a/‎assets/images/favicon.png‎
-203 Bytes b/‎assets/images/favicon.png‎
-203 Bytes
diff --git a/‎assets/images/text_symbol.png‎
-1.74 KB b/‎assets/images/text_symbol.png‎
-1.74 KB
diff --git a/‎static/images/android-chrome-192x192.png‎
2.67 KB b/‎static/images/android-chrome-192x192.png‎
2.67 KB
diff --git a/‎static/images/android-chrome-512x512.png‎
8.58 KB b/‎static/images/android-chrome-512x512.png‎
8.58 KB
diff --git a/‎static/images/favicon-16x16.png‎
-12 Bytes b/‎static/images/favicon-16x16.png‎
-12 Bytes
diff --git a/‎static/images/favicon-32x32.png‎
-203 Bytes b/‎static/images/favicon-32x32.png‎
-203 Bytes
@@ -1,2 +1,3 @@
 public/
 resources/
+.DS_Store
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`public/`
`2`	`2`	`resources/`
	`3`	`+.DS_Store`