aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2022-02-01 14:29:39 -0500
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2022-02-06 11:42:46 +0700
commit783aaed0e9907453296f55c3c86dc362139792b1 (patch)
treedab9b22550dfb68789b39dfe1626e92e58331247 /academic/eprover
parentd9095ad9cfcc3b67d3688b361780657c34bebba1 (diff)
accessibility/ydotool: Added (fake key/mouse events, no X).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/eprover')
0 files changed, 0 insertions, 0 deletions