~martin-decky/helenos/rcu

  • Committer: Jiri Svoboda
  • Date: 2011-03-16 22:09:28 UTC
  • Revision ID: jiri@wiwaxia-20110316220928-lw4xl2hppe1zgl8c
Rename things 'dist' to 'release'.
Filename Latest Rev Last Changed Committer Comment Size
..
Makefile 882 13 years ago Jiri Svoboda Rename things 'dist' to 'release'. 2.8 KB Diff Download File