Merge branch 'master' of https://git.gebner.org/gebner/etc
This commit is contained in:
		
						commit
						843e7cfe3e
					
				@ -32,6 +32,7 @@
 | 
				
			|||||||
     version-control
 | 
					     version-control
 | 
				
			||||||
     scala
 | 
					     scala
 | 
				
			||||||
     latex
 | 
					     latex
 | 
				
			||||||
 | 
					     finance
 | 
				
			||||||
     )
 | 
					     )
 | 
				
			||||||
   ;; List of additional packages that will be installed without being
 | 
					   ;; List of additional packages that will be installed without being
 | 
				
			||||||
   ;; wrapped in a layer. If you need some configuration for these
 | 
					   ;; wrapped in a layer. If you need some configuration for these
 | 
				
			||||||
@ -219,7 +220,8 @@ layers configuration."
 | 
				
			|||||||
     ("," . preview-default-option-list)
 | 
					     ("," . preview-default-option-list)
 | 
				
			||||||
     "]{preview}[2004/11/05]" "\\PreviewEnvironment{prooftree}")))
 | 
					     "]{preview}[2004/11/05]" "\\PreviewEnvironment{prooftree}")))
 | 
				
			||||||
 '(preview-scale-function 1.2)
 | 
					 '(preview-scale-function 1.2)
 | 
				
			||||||
 '(ring-bell-function (quote ignore) t)
 | 
					 | 
				
			||||||
 '(scala-indent:align-forms t)
 | 
					 '(scala-indent:align-forms t)
 | 
				
			||||||
 '(scala-indent:align-parameters t)
 | 
					 '(scala-indent:align-parameters t)
 | 
				
			||||||
 '(scala-indent:default-run-on-strategy scala-indent:operator-strategy))
 | 
					 '(scala-indent:default-run-on-strategy scala-indent:operator-strategy)
 | 
				
			||||||
 | 
					 '(ledger-post-account-alignment-column 2)
 | 
				
			||||||
 | 
					 '(ring-bell-function (quote ignore) t))
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
		Reference in New Issue
	
	Block a user