Somebody decided to use three-space indentation in this file only

OK, whatever makes you happy.
2018-03-19 17:13:14 -05:00 · 2018-03-19 17:13:14 -05:00 · 216981f7e3
parent 86fe6e9334
commit 216981f7e3
1 changed files with 4 additions and 0 deletions
--- a/com.ibm.wala.cast/source/c/jni/launch.cpp
+++ b/com.ibm.wala.cast/source/c/jni/launch.cpp
@ -41,3 +41,7 @@ JNIEnv *launch_jvm(char *classpath) {
 void kill() {
   javaVM->DestroyJavaVM();
 }
+
+// Local variables:
+// c-basic-offset: 3
+// End: