From d2a4672e74290fc8a0662fb459e8e268b72a0fdf Mon Sep 17 00:00:00 2001
From: Aaron LI <aly@aaronly.me>
Date: Thu, 3 Oct 2019 11:53:02 +0800
Subject: zsh: Merge zsh/* configs into zshrc

Meanwhile, drop some unused configurations ...
---
 _zsh/10-param.zsh | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 _zsh/10-param.zsh

(limited to '_zsh/10-param.zsh')

diff --git a/_zsh/10-param.zsh b/_zsh/10-param.zsh
deleted file mode 100644
index 99f0942..0000000
--- a/_zsh/10-param.zsh
+++ /dev/null
@@ -1,13 +0,0 @@
-#
-# zsh/param.zsh
-# see zshparam(1)
-#
-
-# Ask only if the top of the listing would scroll off the screen
-LISTMAX=0
-
-# Report consuming time statistics if user+system greater than 60 seconds
-REPORTTIME=60
-
-# Format of process time reports with the `time' keyword
-TIMEFMT="%J  %U user %S system %P cpu %MM memory %*E total"
-- 
cgit v1.2.2