Merge pull request #62 from michalmuskala/patch-1 · a496e25a47 - Gogs

Merge pull request #62 from michalmuskala/patch-1

Use covertool as a project_plugin, rather than plugin

Takeru Ohta 4 years ago

parent

f771aef18f 37b0eb4182

commit

a496e25a47

1 changed files with 1 additions and 1 deletions

Split View Show Diff Stats

						
							+ 1
							
							- 1
						
rebar.config
							 
								View File
							
				@@ -53,6 +53,6 @@
			
				   {test,
			
				    [
			
				     {erl_opts, [debug_info]},
			
				-    {plugins, [covertool]}
			
				+    {project_plugins, [covertool]}
			
				    ]}
			
				  ]}.