granicus.if.org Git - re2c/commit

]> granicus.if.org Git - re2c/commit

projects / re2c / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: f8a0986) | patch

author	Petr Skocik <pskocik@gmail.com>
	Sat, 8 Apr 2017 15:28:01 +0000 (17:28 +0200)
committer	Petr Skocik <pskocik@gmail.com>
	Sun, 9 Apr 2017 12:56:47 +0000 (14:56 +0200)
commit	eff553f04abbd96a532c1c785e9c6627e5395fe2
tree	37d8c9623d430c33aff7d6cdf2d8323785abb3ef	tree \| snapshot
parent	f8a09867fa8abfcd52445145629521dcf10c256d	commit \| diff

move manpage rsts to master

and make mk.sh bring them back with git worktree

13 files changed:

mk.sh		diff \| blob \| history
src/manual/features/conditions/conditions.rst		diff \| blob \| history
src/manual/features/encodings/encodings.rst		diff \| blob \| history
src/manual/features/generic_api/generic_api.rst		diff \| blob \| history
src/manual/features/state/state.rst		diff \| blob \| history
src/manual/options/options_list.rst	[deleted file]	blob \| history
src/manual/syntax/configurations.rst_	[deleted file]	blob \| history
src/manual/syntax/interface.rst_	[deleted file]	blob \| history
src/manual/syntax/regular_expressions.rst_	[deleted file]	blob \| history
src/manual/syntax/rules.rst_	[deleted file]	blob \| history
src/manual/syntax/syntax.rst		diff \| blob \| history
src/manual/warnings/warnings_general.rst	[deleted file]	blob \| history
src/manual/warnings/warnings_list.rst	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.