From 2dbe85d6a38f613d56e6ef544d36dbc33df2aa9d Mon Sep 17 00:00:00 2001 From: Andy Clement Date: Thu, 28 Nov 2019 10:36:06 -0800 Subject: [PATCH] polish --- docs/dist/doc/README-195.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/dist/doc/README-195.html b/docs/dist/doc/README-195.html index 06a1bdb2d..ff5588641 100644 --- a/docs/dist/doc/README-195.html +++ b/docs/dist/doc/README-195.html @@ -28,8 +28,8 @@ Here is Code.java:

 =======8<=========
 public class Code {
-	public static void main(String[] argv) {
-	}
+  public static void main(String[] argv) {
+  }
 
   static aspect X {
     before(): execution(* Code.main(..)) {
-- 
2.39.5