summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2019-01-25 23:40:18 -0500
committerAmin Bandali <bandali@gnu.org>2019-01-25 23:40:18 -0500
commitfdbe9b15818c5a45336ec513f1b6c76b357e000b (patch)
treef95d35ccc5d741ee690ba78eda061759b4c8f907 /lib/proof-site
parente960f55efa2db50438680779a3abbea2dbe96ff8 (diff)
downloadconfigs-fdbe9b15818c5a45336ec513f1b6c76b357e000b.tar.gz
configs-fdbe9b15818c5a45336ec513f1b6c76b357e000b.tar.xz
configs-fdbe9b15818c5a45336ec513f1b6c76b357e000b.zip
[emacs] move a/byte-compiled-init below the header
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions