diff options
author | Jakob Odersky <jodersky@gmail.com> | 2012-06-18 23:13:03 +0200 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2012-06-18 23:26:55 +0200 |
commit | 1cdbf77729bc41c1e9b900d2da93ed428f693eb0 (patch) | |
tree | 57f0c55bf96132f410ce5b6d35da1f7364c63667 /.gitignore | |
parent | b9f5fc2200d4623b1bc54bd409f476960bbfc1df (diff) | |
download | k8055-1cdbf77729bc41c1e9b900d2da93ed428f693eb0.tar.gz k8055-1cdbf77729bc41c1e9b900d2da93ed428f693eb0.tar.bz2 k8055-1cdbf77729bc41c1e9b900d2da93ed428f693eb0.zip |
reformat .so files to include version number
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,6 +3,6 @@ target/ .project .cproject src/*.o -src/*.so +src/*.so.* src/k8055-* *~ |