forgot "::
authorAaron Zauner <azet@azet.org>
Tue, 17 Dec 2013 12:50:18 +0000 (13:50 +0100)
committerAaron Zauner <azet@azet.org>
Tue, 17 Dec 2013 12:50:18 +0000 (13:50 +0100)
commite3610c7dc9bb216d12e5618b712665045d3b3daf
treea20ee12ccb7a4c7af1e902761b19523f7874ee1a
parent223d6388c646fe73e2e84e3d303ac48b413ed93d
forgot "::
src/practical_settings/proxy_solutions.tex