Update documentation of native helloworld-rs. Remove redundant Cargo.lock file, since it is generated by cargo. Use capital W for "World" in "Hello, World!" message.
Move example from examples/ directory to native/ directory.
@Mihnea27 , @mkroening , if it's all OK, please approve the PR and your tags: Reviewed-by by @Mihnea27 and Reviewed-by + Approved-by by @mkroening . As detailed in the "Review Process" guide.
Update documentation of native
helloworld-rs
. Remove redundantCargo.lock
file, since it is generated bycargo
. Use capital W for "World" in "Hello, World!" message.Move example from
examples/
directory tonative/
directory.