Merge pull request #40 from lukechilds/dev

Browse Source

Make src/fiat/zilla executable

...

This commit is contained in:

ca333

2018-06-18 16:19:22 +02:00

committed by GitHub

parent f72ff13839 1c03ff0ecf

commit 741af58af9

1 changed files with 0 additions and 0 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

0

src/fiat/zilla Normal file → Executable file