chiark / gitweb /
~ianmdlvl / dgit-junk.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6c1fcbb)
done
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 Jul 2015 17:52:36 +0000 (18:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 Jul 2015 17:52:36 +0000 (18:52 +0100)
TODO patch | blob | history

diff --git a/TODO b/TODO
index 408de078c3f71feb4b6223f8fdecb9ca70d35e70..1771aff1797e5af9b1068a969ad804f5a4b3b851 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,7 +1,5 @@
 THINGS FROM IRC TRANSCRIPTS
 
-change to use push.dgit.d.o
-
 
 TRANSITION
 
Unnamed repository; edit this file 'description' to name the repository.