diff options
author | Bryan Drewery <bryan@shatow.net> | 2018-03-14 01:32:54 +0300 |
---|---|---|
committer | Bryan Drewery <bryan@shatow.net> | 2018-03-14 01:32:54 +0300 |
commit | 3a7d1759a8e7736837023a59832810a70d9e1aba (patch) | |
tree | 35481fd9abffbd81e3ef425abba7f1d9b7a51780 /.gitignore | |
parent | 2656a99bd27f1508cb984f7e59e3a21d68945d76 (diff) |
Remove USE_PTSORT=no support and only use ptsort.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -34,7 +34,6 @@ /sh /timeout /timestamp -/tsort Makefile _FOSSIL_ config.status |