git.lyx.org Git - features.git/commit

author	Richard Kimberly Heck <rikiheck@lyx.org>
	Sat, 27 Apr 2019 01:51:48 +0000 (21:51 -0400)
committer	Jean-Marc Lasgouttes <lasgouttes@lyx.org>
	Thu, 18 Jun 2020 13:48:27 +0000 (15:48 +0200)
commit	19fe88e73a8a80363811a4085f4d3ee26fa45e01
tree	02137824351b78594bcda64f61542375d0a8317b	tree \| snapshot
parent	5f3a6bde4c215a0e442ce442ab2d08226266bfed	commit \| diff

Simplify a bit.

Also, I always worry that "file" will conflict with something....