diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-03-01 14:46:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-01 14:46:52 +0100 |
| commit | 71580c41a931a1ad2c04682e0fd701661b716c95 (patch) | |
| tree | eb556925d6c82b4a9d8221cb3e1d45c7b2cdfd1d /misc/diagrams/Readme.md | |
| parent | eeeb932b718ed4764df544ce85888461fc1377fb (diff) | |
| parent | f82ad38671ab42690d83675166e5eefa03d74d85 (diff) | |
| download | git-bug-71580c41a931a1ad2c04682e0fd701661b716c95.tar.gz | |
Merge pull request #281 from MichaelMure/howto-github0.7.0
add a how-to to explain usage with Github
Diffstat (limited to 'misc/diagrams/Readme.md')
| -rw-r--r-- | misc/diagrams/Readme.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/diagrams/Readme.md b/misc/diagrams/Readme.md new file mode 100644 index 00000000..837a3212 --- /dev/null +++ b/misc/diagrams/Readme.md @@ -0,0 +1 @@ +The source of those diagrams is on draw.io. Couldn't find a good way to export :( |