projects / invirt/packages/xvm-devconfig.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b723757) | patch
The dev server only does dev builds, so remove the dev server's so-called prod (aka... geofft
authorGeoffrey Thomas <geofft@mit.edu>
Sat, 9 Mar 2013 23:16:35 +0000 (15:16 -0800)
committerGeoffrey Thomas <geofft@mit.edu>
Sat, 9 Mar 2013 23:19:45 +0000 (15:19 -0800)
commit81f3accc68450b1592b249f2a4bb388978d413e2
tree0bcf375e5bb62de8a8c20878e90348ca168cf223tree | snapshot
parentb7237575b256499b84a4b0c51ae4e6f65e10f26ccommit | diff
The dev server only does dev builds, so remove the dev server's so-called prod (aka stable) pocket.
debian/changelog diff | blob | history
master.yaml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.