*.txt: Add newlines, fix some spacing

[factor.git] / extra / backtrack / summary.txt

diff --git a/extra/backtrack/summary.txt b/extra/backtrack/summary.txt
index d2d3918a9824ef3d110b582d8c3ed16cd4c53780..bbfe6453056d12b88609bdd0d2c700bcbf6096ad 100644 (file)
--- a/extra/backtrack/summary.txt
+++ b/extra/backtrack/summary.txt
@@ -1 +1 @@
-Simple non-determinism
\ No newline at end of file
+Simple non-determinism