Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
Raw File
prefix
PREFIX

	outputs the current file prefix, or [] if there is no prefix.
	See SETPREFIX.

back to top