.. |
4DNav
|
…
|
|
L-system
|
…
|
|
adsoda
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
advice
|
…
|
|
alien
|
…
|
|
animations
|
…
|
|
arm
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
automata
|
…
|
|
boolean-expr
|
tags.txt: Remove empty files.
|
2016-03-30 22:14:50 -07:00 |
bubble-chamber
|
…
|
|
cartesian
|
…
|
|
cfdg
|
…
|
|
closures
|
…
|
|
cont-responder
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
cryptlib
|
…
|
|
db/mysql
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
dns
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
dragdrop-listener
|
…
|
|
drills
|
…
|
|
easy-help
|
…
|
|
fonts/syntax
|
…
|
|
frame-buffer
|
…
|
|
fries
|
…
|
|
gir/samples/lowlevel/gstreamer
|
…
|
|
golden-section
|
…
|
|
graph-theory
|
…
|
|
gstreamer/plugins
|
…
|
|
headers
|
…
|
|
images
|
…
|
|
irc-ui
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
javascriptcore
|
…
|
|
jni
|
…
|
|
ldap
|
…
|
|
llvm
|
…
|
|
math
|
…
|
|
models/combinators
|
…
|
|
modules
|
…
|
|
mongodb/gridfs/gridfs
|
…
|
|
multi-method-syntax
|
…
|
|
odbc
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
ogg/player
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
opengl-gadgets
|
…
|
|
oracle
|
…
|
|
ori
|
…
|
|
pdf
|
…
|
|
peg-lexer
|
…
|
|
persistency
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
physics
|
…
|
|
pos
|
…
|
|
random-weighted
|
…
|
|
recipes
|
…
|
|
run-desc
|
run-desc: not sure what this is for.
|
2016-03-14 22:51:11 -07:00 |
sandbox
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
semantic-db
|
…
|
|
set-n
|
…
|
|
size-of
|
…
|
|
sniffer
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
specialized
|
…
|
|
springies
|
…
|
|
sto
|
…
|
|
sudokus
|
…
|
|
tabs
|
…
|
|
tangle
|
…
|
|
triggers
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |
ui
|
ui.gadgets.corners: move to unmaintained. trim using lists.
|
2016-04-04 14:11:54 -07:00 |
update
|
update: move to unmaintained.
|
2016-03-14 22:47:36 -07:00 |
webapps/numbers
|
Fix comments to be ! not #!.
|
2015-09-08 16:15:10 -07:00 |