diff options
-rw-r--r-- | .skipped-commit-ids | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.skipped-commit-ids b/.skipped-commit-ids index f4c457228..fdb651ab5 100644 --- a/.skipped-commit-ids +++ b/.skipped-commit-ids | |||
@@ -17,3 +17,4 @@ f6ae971186ba68d066cd102e57d5b0b2c211a5ee systrace is dead. | |||
17 | fe5b31f69a60d47171836911f144acff77810217 Makefile.inc bits | 17 | fe5b31f69a60d47171836911f144acff77810217 Makefile.inc bits |
18 | 5781670c0578fe89663c9085ed3ba477cf7e7913 Delete sshconnect1.c | 18 | 5781670c0578fe89663c9085ed3ba477cf7e7913 Delete sshconnect1.c |
19 | ea80f445e819719ccdcb237022cacfac990fdc5c Makefile.inc warning flags | 19 | ea80f445e819719ccdcb237022cacfac990fdc5c Makefile.inc warning flags |
20 | b92c93266d8234d493857bb822260dacf4366157 moduli-gen.sh tweak | ||