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 · 4b04f8d812
parent e9fa6f31b3
commit 4b04f8d812
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: