mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 12:02:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

config:

Browse source 
updated tomas default checkout


BitKeeper/etc/config:
  updated tomas default checkout
This commit is contained in:
unknown 2005-08-25 13:15:29 +02:00
parent 8bd9992e49
commit 7887d8b808
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
BitKeeper/etc/config
View file

@ -72,5 +72,6 @@ hours:
[kostja:]checkout:get
[nick:]checkout:get
[jonas:]checkout:get
[tomas:]checkout:get
checkout:edit
eoln:unix