Merge pull request #699 from lukechilds/dev

Browse Source

Make src/fiat/zilla executable

...

This commit is contained in:

jl777

2018-06-18 03:59:55 -11:00

committed by GitHub

parent b683c29bd7 1c03ff0ecf

commit 2321eb9875

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

src/fiat/zilla

Regular → Executable