Skip to content

Commit 19d930e

Browse files
burakemircopybara-github
authored andcommitted
Move logo to readthedocs folder and include there, too.
PiperOrigin-RevId: 822068989
1 parent 2e26f5a commit 19d930e

3 files changed

Lines changed: 6 additions & 3 deletions

File tree

README.md

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,4 @@
1-
<center>
2-
<img src="mangle_logo.png" width="50%">
3-
</center>
1+
<img src="https://github.com/google/mangle/blob/main/readthedocs/mangle_logo.png" width="50%">
42

53
# Mangle
64

readthedocs/index.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
```{image} mangle_logo.png
2+
:alt: Mangle logo
3+
:align: center
4+
```
5+
16
# Mangle Datalog
27

38
Mangle Datalog is a logic programming language and deductive database system.

0 commit comments

Comments
 (0)