* make-dist (possibly_non_vc_files): Append exec standard files.
authorPo Lu <luangruo@yahoo.com>
Sun, 21 Jan 2024 02:04:02 +0000 (10:04 +0800)
committerPo Lu <luangruo@yahoo.com>
Sun, 21 Jan 2024 02:04:02 +0000 (10:04 +0800)
commite654f9ce1e6f146346160044a6469e34f25dfeea
tree27d469edb6647313d2a1e5dca27dba13bf45f57e
parent8da6c8c7c1e25d2d1d511b50c0ff94097e512470
* make-dist (possibly_non_vc_files): Append exec standard files.
make-dist