Merge pull request #1066 from 3b1b/remove-sanim

Browse Source

Remove sanim directory

...

This commit is contained in:

Devin Neal

2020-05-13 23:06:04 -07:00

committed by GitHub

parent a529a59abf d31be357e5

commit ca0b7a6b06

1 changed files with 0 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

1

sanim

Submodule sanim deleted from 19aa1e4b2e