[ci skip] Change font used in demo.gif

chenlujjj · Jan 31, 2020 · 489e695 · 489e695
1 parent 9ae4be8
commit 489e695
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/assets/demo.gif b/docs/assets/demo.gif