summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar FrigoEU <simon.van.casteren@gmail.com>2019-08-03 10:46:18 +0200
committerGravatar FrigoEU <simon.van.casteren@gmail.com>2019-08-03 10:46:18 +0200
commit85287c07fff6682c6d3a935efc30aad623e69179 (patch)
treea17fb959f7e426204627da22a05466b7175c0083 /lib/ur/basis.urs
parenta37678c2cf668b4837cdf5d147f4c2f26b2634e9 (diff)
Added emacs functions for getInfo
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions